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

Modified Novel Key Agreement Protocol and Its Formal Analysis

作　　者：吴福生[1] 

机构地区：[1]凯里学院,贵州凯里556011

出　　处：《通信技术》2011年第7期99-101,共3页Communications Technology

基　　金：凯里学院课题(No.Z1113)

摘　　要：Diffie-Hellman协议不具有认证功能且不能抵抗中间人攻击。Seo等人提了一种简单的算法(SAKA)协议可以抵抗中间人攻击且运算简单,但是SAKA协议也存在不足。另有人提出了Lin协议、E-SAKA协议等。分析上述协议可看出存在不足。于是提出改进的新密钥交换协议。它具有SAKA及其改进协议优点的同时可以避免SAKA及其改进协议的缺陷。并给出该协议的BAN逻辑形式分析。Diffie-Hellman key agreement protocol has some weaknesses,and it could not authenticate and resist man-in-the-middle attack.A simple authenticated key agreement algorithm（SAKA）is developed by Seo,which could resist man-in-the-middle attack,is still of some weaknesses.Analysis indicates that there are also some weaknesses in these protocols.So a modified novel key agreement protocol different from the previous protocols is suggested,this new protocol could avoid the weaknesses of previous protocols and has more advantages than SAKA and its protocols.The BAN logical formal analysis of the suggested protocol is also given in this paper.

关 键 词：随机 DIFFIE-HELLMAN密钥协商 BAN逻辑 形式分析 会话密钥 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]