信息网络安全
基于形式化分析工具的认证协议安全性研究
段然, 徐乃阳, 胡爱群
Research on Authentication Protocol Security Based on Formal Verification Tool
Ran DUAN, Nai-yang XU, Ai-qun HU
信息网络安全 . 2015, (7): 71 -76 .  DOI: 10.3969/j.issn.1671-1122.2015.07.011