基于口令认证的密钥交换协议的安全性分析

被引：15

作者：

李莉

薛锐

张焕国

冯登国

王丽娜

机构：

[1] 武汉大学计算机学院

[2] 中国科学院软件所信息安全国家重点实验室

[3] 武汉大学计算机学院湖北武汉

[4] 北京

[5] 湖北武汉

来源：

电子学报 | 2005年 / 01期

关键词：

密钥交换协议; 口令猜测攻击; 串空间模型; DH密钥协商;

D O I：

暂无

中图分类号：

TN918.6 [保密通信:按结构原理分];

学科分类号：

0839 ; 1402 ;

摘要：

在串空间理论模型引入了描述DH问题的方法以及分析猜测攻击的攻击者能力 ,对基于口令认证的密钥交换协议的安全性进行了形式化分析。提出一个对DH EKE协议的简化 ,并证明了该协议的安全性 :口令的秘密性 ,认证性 ,以及会话密钥的秘密性 .根据分析给出基于口令认证的密钥交换协议抵抗猜测攻击的基本条件 .将分析方法应用到基于口令的三方密钥交换协议上 ,给出单纯基于口令进行密钥交换协议的安全性需要满足的一个必要条件 .

引用

页码：166 / 170

页数：5