改进的可证安全的相互认证及密钥协商方法

摘要：

提出一种新的用于移动通信的相互认证和密钥协商方法--NMAKAP.NMAKAP采用基于阿贝尔群的模幂运算和散列函数进行身份认证,取代了传统公钥密码算法和数字签名方案,降低了协议的计算开销和实现成本.在SVO逻辑系统证明下,NMAKAP协议是安全的.SVO逻辑是安全协议形式化分析的一种重要方法,文章扩展了SVO逻辑分析散列函数的逻辑语法.SVO逻辑方法的认证目标被发现存在中间人攻击,为此提出了新的认证目标,并分析了新目标的安全性.分析了一种可用于移动通信的认证协议--MAKEP.MAKEP协议通过预计算,大大降低了移动设备的计算量,但被认为存在Hijacking攻击.分析表明针对原MAKEP协议的Hijacking攻击并不成立,但该协议被发现存在未知共享密钥攻击,为此提出了改进意见.

关键词：认证协议、模幂运算、散列函数、SVO逻辑

所属期刊栏目：46

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家"十一五"科技支撑计划重大项目资助the National Great Project of Scientific and Technical Supporting Programs Funded by Ministry of Science & Technology of China During the 11th Five-year Plan.2008BAH37B04

在线出版日期：2011-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：86-90,94