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
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;
Conference_Titel :
Information Science and Engineering (ICISE), 2009 1st International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-4909-5
DOI :
10.1109/ICISE.2009.1154
