检测模型在安全协议分析中的应用

• 作者: 李建华 李谢华 杨树堂 诸鸿文
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 检测模型 认证测试 Neuman-Stubblebine协议 类型攻击
• 年，卷（期）: 2007,（13）
• 所属期刊栏目: 博士论文
• 页码范围: 1-3,39
• 页数: 4页
• 分类号: TP393
• 字数: 4241字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.13.001

摘要

以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证.将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞.通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地检测到原认证测试方法无法发现的类型攻击.

作者信息

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