摘要： 系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham-Schroeder 和包含三方主体的Woo-Lam 认证协议的分析中。最后通过比较认证测试方法和BAN 逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。
关键词:
安全协议；串空间；认证测试
Abstract: The paper makes a systematic study on the authentication test, uses it to prove the security of two-part Needham-Schroeder protocol and three-part Woo-Lam protocol, and at last, compares the authentication test with BAN logic to illuminate the simplicity and complete semantics of authentication test.
Key words:
Security protocol; Strand space; Authentication test
李谢华，李建华，杨树堂，诸鸿文. 认证测试方法在安全协议分析中的应用[J]. 计算机工程, 2006, 32(2): 19-22.
LI Xiehua, LI Jianhua, YANG Shutang, ZHU Hongwen. Application of Authentication Test in Security Protocol Analysis[J]. Computer Engineering, 2006, 32(2): 19-22.