改进新密钥交换协议及其形式化分析

• 作者: 吴福生
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 随机 Diffie-Hellman密钥协商 BAN逻辑 形式分析 会话密钥
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 通信保密
• 页码范围: 99-101
• 分类号: TP309.7
• 字数: 3177字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2011.07.036

摘要

Diffie-Hellman协议不具有认证功能且不能抵抗中间人攻击.Seo等人提了一种简单的算法(SAKA)协议可以抵抗中间人攻击且运算简单,但是SAKA协议也存在不足.另有人提出了Lin协议、E-SAKA协议等.分析上述协议可看出存在不足.于是提出改进的新密钥交换协议.它具有SAKA及其改进协议优点的同时可以避免SAKA及其改进协议的缺陷.并给出该协议的BAN逻辑形式分析.