摘要
EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析证明,结果说明EAP-AKA能够保证移动终端和认证服务器之间的双向认证。
EAP-AKA（Extensible Authentication Protocol-Authentication and Key Agreement） is authentication and key agreement protocol of WLAN;Authentication tests is a method based on the strand space model for analyzing and verifying the security protocols.This paper uses authentication tests to analyze EAP-AKA protocol,and proves that EAP-AKA protocol can ensure the mutual authentication between WLAN-UE and 3GPP AAA.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第15期157-159,共3页
Computer Engineering and Applications
基金
国家高技术研究发展计划(863) (the National High- Tech Research and Development Plan of China under Grant No.2005AA145110) 。
