基于消息类型检测的认证测试分析方法

• 作者: 李建华 李谢华 杨树堂 诸鸿文
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 认证测试 消息类型 Neuman-Stubblebine协议 Kao-Chow认证协议
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 85-89,99
• 页数: 6页
• 分类号: TP311
• 字数: 5384字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2007.01.019

摘要

将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力.对Neuman-Stubblebine协议和Kao-Chow协议的分析结果表明,基于消息类型检测的认证测试方法能够发现对Neuman-Stubblebine协议的类型攻击,并且为Kao-Chow协议提供更为准确的证明.

作者信息

序号	姓名	单位	发文数	被引次数	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