Formal analysis of EAP-AKA protocol based on authentication tests
WANG Peng,LI Xie-hua,LU Song-nian
Computer Engineering and Applications . 2007, (15): 157 -159 .