运行模式法分析密码协议实例研究

摘要：

在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性.

关键词： 密码协议 形式化分析 运行模式

作者: 王春玲 唐志坚 张玉清 薛纪文

作者单位: 西安工程科技学院,计算机学院,陕西,西安,710048 中国科学院研究生院,国家计算机网络入侵防范中心,北京,100039

会议类型: 国内会议

会议名称: 2004年CERNET第十一届年会

会议地点: 北京

会议语种:中文

页码: 129-132

在线出版日期: 2004-12-24（万方平台首次上网日期，不代表论文的发表时间）