摘要：EAP—AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上，使用改进的认证测试方法对其安全性进行验证分析。验证结果说明，EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。

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

单位：湖南大学计算机与通信学院 湖南长沙410082