10.3969/j.issn.1000-3428.2006.02.007
认证测试方法在安全协议分析中的应用
系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的Needham-Schroeder和包含三方主体的Woo-Lam认证协议的分析中.最后通过比较认证测试方法和BAN逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点.
安全协议、串空间、认证测试
32
TN913.2
国家科技攻关项目2002AA145090
2006-04-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
19-22