10.3969/j.issn.1007-130X.2009.04.022
EAP-AKA无线认证协议的形式化验证方法
EAP-AKA是应用于3G网络的身份认证和密钥分配协议.本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析.验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证.
形式化模型、EAP-AKA、改进认证测试方法、双向身份认证
31
TP393.08(计算技术、计算机技术)
2009-05-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
72-74,78