Formal Verification of EAP-AKA with Improved Authentication Tests

摘要：

EAP-AKA is the Extensible Authentication Protocol (EAP) mechanism for authentication and key distribution using the Authentication and Key Agreement (AKA) mechanism used in the 3rd generation mobile networks. The improved authentication tests model is a formal verification method for security protocol analysis, which enhances the original authentication tests model in proving symmetric key protocol and succeeds in finding flaws of security protocols. This paper formally analyzes and verifies the security properties of EAP-AKA authentication process with the improved authentication tests. The proof result shows that the authentication process of EAP-AKA can guarantee the security of wireless communication.

关键词： EAP-AKA Improved authentication tests Message type

作者: Xiehua Li Liming Hao ShutangYang Jianhua Li

作者单位: Dept.of Electronic Eng.,Shanghai Jiaotong Univ.,Shanghai 200240,P.R.China

会议类型: 国际会议

会议名称: 第二届IEEE无线通讯、网络技术暨移动计算国际会议

会议地点: 武汉

会议语种:英文

在线出版日期: 2006-09-01（万方平台首次上网日期，不代表论文的发表时间）