针对EAP-AKA协议中存在的安全问题，提出了改进方案。通过在3G和WLAN接入网络间增设共享密钥实现了两者间的相互认证，并用串空间模型和认证测试方法进行了形式化分析，通过加密传输NAI实现了对IMSI的加密保护，通过引入密钥更新机制实现了对用户和3G网络间的共享密钥的安全更新。