Needham-Schroeder 协议的认证测试方法形式化分析
李廷元1，2，秦志光1，刘晓东2，张选芳2
Formal analysis of Needham-Schroeder protocol with authentication test methods
LI Ting-yuan1，2，QIN Zhi-guang1，LIU Xiao-dong2，ZHANG Xuan-fang2
计算机工程与应用
.
2010, (19): 100
-102
.
DOI: 10.3778/j.issn.1002-8331.2010.19.029
