DocumentCode
2208861
Title
Symbolic Analysis of Authentication Protocol Based on GSPM
Author
Gu, Yonggen ; Tao, Jie ; Wu, Xiaohong ; Shen, Zhangguo
Author_Institution
Dept. of Comput. Sci. & Technol., Huzhou Univ., Huzhou, China
fYear
2009
fDate
26-28 Dec. 2009
Firstpage
1876
Lastpage
1880
Abstract
Formal methods are proved to be effective in analyzing security protocols. GSPM is a general model for formal analysis of security protocols by using process algebra and knowledge inference. In order to implement the automatic tool for verification, in this paper we introduce symbolic techniques into GSPM framework. Symbolic techniques can eliminate infinite branches caused by input actions. The analysis of NSPK is given as an example to illustrate such idea.
Keywords
authorisation; formal verification; inference mechanisms; process algebra; protocols; GSPM framework; authentication protocol; formal method; knowledge inference; process algebra; security protocols; symbolic analysis; symbolic techniques; Algebra; Authentication; Calculus; Computer science; Computer security; Explosions; Information analysis; Information science; Information security; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Science and Engineering (ICISE), 2009 1st International Conference on
Conference_Location
Nanjing
Print_ISBN
978-1-4244-4909-5
Type
conf
DOI
10.1109/ICISE.2009.1154
Filename
5454568
Link To Document