Symbolic Analysis of Authentication Protocol Based on GSPM


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.

1 Figure or Table

Cite this paper

@article{Gu2009SymbolicAO, title={Symbolic Analysis of Authentication Protocol Based on GSPM}, author={Yonggen Gu and Jie Tao and Xiaohong Wu and Zhangguo Shen}, journal={2009 First International Conference on Information Science and Engineering}, year={2009}, pages={1876-1880} }