A Survey of Security Protocol Verification Based on Process Algebra
Li Meng · Journal of Computer Research and Development · 2004
Security protocols are used to provide secure communication over open network. Process algebra refers to those algebraic approaches to the study of communication and concurrency systems. The verification methods based on process algebra are the important verification methods of security protocols. The main verification methods based on process algebra of security protocols are presented in this paper. Finally the possible new directions of security protocols verification are also stated.