| 运行模式法分析ISO／IEC密钥建立协议 |
| |
| 引用本文： | 张玉清,王春玲,冯登国. 运行模式法分析ISO／IEC密钥建立协议[J]. 通信学报, 2005, 26(2): 15-18 |
| |
| 作者姓名： | 张玉清 王春玲 冯登国 |
| |
| 作者单位： | 1. 中国科学院研究生院,国家计算机网络入侵防范中心,北京,100039
2. 西安工程科技学院,计算机学院,陕西,西安,710048 |
| |
| 基金项目： | 国家自然科学基金资助项目(60102004，60373040)，国信安办基金资助项目(2001–研1–022) |
| |
| 摘 要： | 基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前改进的Helsinki密码协议更安全。
|
| 关 键 词： | 信息安全 形式方法 运行模式 Helsinki密码协议 |
| 文章编号： | 1000-436X(2005)02-0015-04 |
| 修稿时间： | 2004-02-12 |
Analysis of ISO/IEC key establishment protocol using running modes |
| |
| ZHANG Yu-qing,WANG Chun-ling,FENG Deng-guo. Analysis of ISO/IEC key establishment protocol using running modes[J]. Journal on Communications, 2005, 26(2): 15-18 |
| |
| Authors: | ZHANG Yu-qing WANG Chun-ling FENG Deng-guo |
| |
| Affiliation: | ZHANG Yu-qing1,WANG Chun-ling2,FENG Deng-guo1 |
| |
| Abstract: | A methodology was presented for using running modes, a general method proposed by the authors,to analyzed a key establishment protocol (the Helsinki cryptographic protocol) of ISO/IEC DIS 11770-3. The results show that the Horng-Hsu attack is the only attack on the protocol, and a new modified Helsinki protocol is proposed which is immune to the attack and better than the previous revised Helsinki protocol. |
| |
| Keywords: | information security formal methods running modes Helsinki cryptographic protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
