Formal analysis of security protocol based on process calculus and knowledge derivation
- Gu Yonggen, Fu Yuxi
- Journal of Computer Research and Development,
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.