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

作者：李莉; 薛锐; 张焕国; 冯登国; 王丽娜

来源：电子学报, 2005, (01): 166-170.

• 密钥交换协议
• 口令猜测攻击
• 串空间模型
• DH密钥协商 key exchange protocol
• guessing attack
• strand space
• DH key agreement

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

• 单位
  中国科学院软件研究所; 武汉大学; 信息安全国家重点实验室