Security Certification of Three-Party Network Protocols Based on Strong Authentication Theory
XIAO Meihua, LIU Xinqian, LI Yanan, CHENG Daolei, MEI Yingtian
Journal of Frontiers of Computer Science and Technology . 2016, (12): 1701 -1710 .  DOI: 10.3778/j.issn.1673-9418.1607032