EAP-AKA无线认证协议的形式化验证方法  

Formal Verification of the EAP-AKA Wireless Authentication Protocols

作　　者：李谢华[1] 张孝红[1] 

机构地区：[1]湖南大学计算机与通信学院,湖南长沙410082

出　　处：《计算机工程与科学》2009年第4期72-74,78,共4页Computer Engineering & Science

摘　　要：EAP-AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析。验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。EAP-AKA is the extensible authentication protocol （EAP） for the authentication and key distribution using the Authentication and Key Agreement （AKA） mechanism used in the 3rd generation mobile networks. Based on thoroughly studying the authentication procedures of the EAP-AKA protocol, we verify and analyse its security by using the improved authentication tests. Finally, the verification result shows that the EAP-AKA protocol can satisfy the mutual authentication between the peer and the EAP server.

关 键 词：形式化模型 EAP-AKA 改进认证测试方法 双向身份认证 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]