移动通信中一种认证密钥协商协议的分析及改进
移动通信应用越来越广泛,其安全问题也不容忽视,可是,移动设备计算能力较低,难于进行大量的复杂密码运算,采用哈希函数代替数字签名进行身份认证,能有效地降低通信中移动端的计算量.在全面分析了可用于移动通信中的MAP协议基础上,提出一种新的可相互认证的密钥协商协议MAKAP,新协议在计算复杂度、实现成本和通信开销方面都具有一定的优势.采用形式化分析的SVO逻辑方法分析,新协议是安全的.
移动通信、安全协议、哈希函数、形式化分析、SVO逻辑
29
TN929.5
2008-05-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
20-23