运行模式法分析ISO/IEC密钥建立协议  

Analysis of ISO/IEC key establishment protocol using running modes

作　　者：张玉清[1] 王春玲[2] 冯登国[1] 

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

出　　处：《通信学报》2005年第2期15-18,共4页Journal on Communications

基　　金：国家自然科学基金资助项目(60102004;60373040);国信安办基金资助项目(2001–研1–022)

摘　　要：基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前改进的Helsinki密码协议更安全。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.

关 键 词：信息安全 形式方法 运行模式 Helsinki密码协议 

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