Formal analysis of EAP-AKA protocol based on authentication tests

• 基于认证测试方法的EAP-AKA协议分析