|
|||||
|
|
| 三方密码协议运行模式分析法 | |
| 引用本文： | 刘秀英,张玉清,杨波,邢戈. 三方密码协议运行模式分析法[J]. 中国科学院研究生院学报, 2004, 21(3): 380-385 |
| 作者姓名： | 刘秀英 张玉清 杨波 邢戈 |
| 作者单位： | 1. 西安电子科技大学信息安全教育部实验室,西安,710071;中国科学院研究生院国家计算机网络入侵防范中心,北京,100039 2. 中国科学院研究生院信息安全国家重点实验室,北京,100039;中国科学院研究生院国家计算机网络入侵防范中心,北京,100039 3. 西安电子科技大学信息安全教育部实验室,西安,710071 |
| 基金项目： | 国家自然科学基金项目 ( 60 10 2 0 0 4，60 2 73 0 2 7，60 0 2 5 2 0 5 )资助 |
| 摘 要： | 在两方密码协议运行模式分析法的基础上 ,利用模型检测的理论结果 ,提出了三方密码协议运行模式分析法 .用这种方法对DavisSwick协议进行了分析 ,成功地验证了此协议的安全性 ,说明了所提出的三方密码协议运行模式分析法的有效性 |
| 关 键 词： | 密码协议 形式化分析 模型检测 运行模式分析法 |
| 文章编号： | 1002-1175(2004)03-0380-06 |
| 修稿时间： | 2003-05-16 |
Running-Mode Analysis of the Three-Party Cryptographic Protocol |
|
| LIU Xiu Ying , ZHANG Yu Qing , YANG Bo XING Ge . Running-Mode Analysis of the Three-Party Cryptographic Protocol[J]. Journal of the Graduate School of the Chinese Academy of Sciences, 2004, 21(3): 380-385 | |
| Authors: | LIU Xiu Ying ZHANG Yu Qing YANG Bo XING Ge |
| Affiliation: | LIU Xiu Ying 1,3 ZHANG Yu Qing 2,3 YANG Bo 1 XING Ge 2,3 |
| 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 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |