认证测试方法在安全协议分析中的应用  

Application of Authentication Test in Security Protocol Analysis

作　　者：李谢华[1] 李建华[1] 杨树堂[1] 诸鸿文[1] 

机构地区：[1]上海交通大学电子工程系,上海200030

出　　处：《计算机工程》2006年第2期19-22,共4页Computer Engineering

基　　金：国家"863"计划基金资助项目(2002AA145090)

摘　　要：系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的Needham-Schroeder和包含三方主体的Woo-Lam认证协议的分析中。最后通过比较认证测试方法和BAN逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。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-Lain protocol, and at last, compares the authentication test with BAN logic to illuminate the simplicity and complete semantics of authentication test.

关 键 词：安全协议 串空间 认证测试 

分 类 号：TN913.2[电子电信—通信与信息系统]