论文部分内容阅读
移动通信应用越来越广泛,其安全问题也不容忽视,可是,移动设备计算能力较低,难于进行大量的复杂密码运算,采用哈希函数代替数字签名进行身份认证,能有效地降低通信中移动端的计算量.在全面分析了可用于移动通信中的MAP协议基础上,提出一种新的可相互认证的密钥协商协议MAKAP,新协议在计算复杂度、实现成本和通信开销方面都具有一定的优势.采用形式化分析的SVO逻辑方法分析,新协议是安全的.