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

• Research on formalized method of crypto protocol analysis