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

• 作者: 冯登国 张焕国 李莉 王丽娜 薛锐
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 密钥交换协议 口令猜测攻击 串空间模型 DH密钥协商
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 科研通信
• 页码范围: 166-170
• 页数: 5页
• 分类号: TN393
• 字数: 7835字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2005.01.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王丽娜	武汉大学计算机学院	133	1680	20.0	36.0
2	张焕国	武汉大学计算机学院	244	4083	31.0	56.0
3	李莉	武汉大学计算机学院	107	730	14.0	22.0
4	冯登国	中国科学院软件所信息安全国家重点实验室	243	6305	35.0	71.0
5	薛锐	中国科学院软件所信息安全国家重点实验室	20	275	7.0	16.0