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

摘要：

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

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

所属期刊栏目：26

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2005-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：15-18