| 三方密码协议运行模式分析法 |
| |
| 作者姓名： | 刘秀英 张玉清 杨波 邢戈 |
| |
| 作者单位： | 1. 西安电子科技大学信息安全教育部实验室, 西安 710071;
2. 中国科学院研究生院信息安全国家重点实验室, 北京100039;
3. 中国科学院研究生院国家计算机网络入侵防范中心, 北京 100039 |
| |
| 基金项目： | 国家自然科学基金项目 (60102004;60273027;60025205)资助 |
| |
| 摘 要： | 在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。用这种方法对DavisSwick协议进行了分析，成功地验证了此协议的安全性，说明了所提出的三方密码协议运行模式分析法的有效性。
|
| 关 键 词： | 密码协议 形式化分析 模型检测 运行模式分析法 |
| 收稿时间： | 2003-05-16 |
| 修稿时间： | 2003-07-01 |
Running-Mode Analysis of the Three-Party Cryptographic Protocol |
| |
| Authors: | LIU XiuYing ZHANG YuQing YANG Bo XING Ge |
| |
| Institution: | 1. National Key Laboratory of ISN, Xidian University, Xi’an 710071, China;
2. State Key Laboratory of Information Security, Chinese Academy of Sciences, Beijing 100039, China;
3. National Computer Network Intrusion Protection Center, Chinese Academy of Sciences, Beijing 100039, China |
| |
| Abstract: | Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols. To test this method, we use it to analyze the Davis Swick protocol and successfully prove the security of protocol. Therefore, we can draw a conclusion that running mode analysis of three party cryptographic protocol is available. |
| |
| Keywords: | cryptographic protocol formal analysis model checking running-mode analysis |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
