Research on formalized method of crypto protocol analysis

• 密码协议分析的形式化方法研究