Formal analysis of cryptographic protocol becomes international hot spot in researching, the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol.

• 摘要密码协议的形式化正在成为国际上研究的热点，通过形式化分析密码协议来判断密码协议是否安全可靠。