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

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

王鹏，李谢华，陆松年

Formal analysis of EAP-AKA protocol based on authentication tests

WANG Peng，LI Xie-hua，LU Song-nian

计算机工程与应用 . 2007, (15): 157 -159 .