Analysis and Verification of Security Protocols Based on Process Algebra
基于进程代数的安全协议分析与验证

Process algebra is the theories for concurrency. Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols. In the paper, we outline these methods, especially the symbolic trace analysis method the bisimulation method.