Symbolic Analysis of Authentication Protocol Based on GSPM
Yonggen Gu, Jie Tao, Xiaohong Wu, Zhangguo Shen · 2009
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.