| 检测模型在安全协议分析中的应用 |
| |
| 作者姓名： | 李谢华 杨树堂 李建华 诸鸿文 |
| |
| 作者单位： | 上海交通大学电子工程系,上海,200030;上海交通大学电子工程系,上海,200030;上海交通大学电子工程系,上海,200030;上海交通大学电子工程系,上海,200030 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞。通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地检测到原认证测试方法无法发现的类型攻击。
|
| 关 键 词： | 检测模型 认证测试 Neuman-Stubblebine协议 类型攻击 |
| 文章编号： | 1000-3428（2007）13-0001-03 |
| 修稿时间： | 2006-07-12 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
