【摘要】 系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的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.更多还原