导航切换
Netinfo Security
Home
About Journal
Adviser
Editorial Board
Guide to Authors
Subscribe
Ethics Standard
Contacts us
中文
Research on Authentication Protocol Security Based on Formal Verification Tool
DUAN Ran, XU Nai-yang, HU Ai-qun
Netinfo Security . 2015, (
7
): 71 -76 . DOI: 10.3969/j.issn.1671-1122.2015.07.011