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

作　　者：王春玲[1] 唐志坚[1] 张玉清[2] 薛纪文[1] 

机构地区：[1]西安工程科技学院计算机学院，陕西西安710048 [2]中国科学院研究生院国家计算机网络入侵防范中心，北京100039

出　　处：《通信学报》2005年第B01期129-132,共4页Journal on Communications

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]