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