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

• 作者: 李建华 李谢华 杨树堂 诸鸿文
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 串空间 认证测试
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 19-22
• 页数: 4页
• 分类号: TN913.2
• 字数: 5237字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.02.007

摘要

系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的Needham-Schroeder和包含三方主体的Woo-Lam认证协议的分析中.最后通过比较认证测试方法和BAN逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨树堂	上海交通大学电子工程系	77	745	16.0	23.0
2	诸鸿文	上海交通大学电子工程系	181	1218	17.0	25.0
3	李建华	上海交通大学电子工程系	336	2966	25.0	36.0
4	李谢华	上海交通大学电子工程系	6	54	5.0	6.0