| 基于SMV的安全协议建模及类型缺陷攻击发现 |
| |
| 引用本文： | 李东建,陆际光. 基于SMV的安全协议建模及类型缺陷攻击发现[J]. 中南民族大学学报(自然科学版), 2005, 24(2): 68-71 |
| |
| 作者姓名： | 李东建 陆际光 |
| |
| 作者单位： | 中南民族大学,计算机科学学院,武汉,430074 |
| |
| 摘 要： | 在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.
|
| 关 键 词： | 类型缺陷 模型检验 安全协议 符号模型检验 |
| 文章编号： | 1672-4321(2005)02-0068-04 |
| 修稿时间： | 2005-01-20 |
Modeling of Security Protocol Based on SMV and Type Flaw Attack Discovery |
| |
| Li Dongjian,Lu Jiguang. Modeling of Security Protocol Based on SMV and Type Flaw Attack Discovery[J]. Journal of South-Central Univ for, 2005, 24(2): 68-71 |
| |
| Authors: | Li Dongjian Lu Jiguang |
| |
| Abstract: | On the basis of analyzing security protocols model, this paper studies the building model and verifying of security protocols Based on SMV. The method is effective for type flaw attack discovery through modeling and analysis of Otway-Rees protocol. |
| |
| Keywords: | type flaw model checking security protocol SMV |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《中南民族大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《中南民族大学学报(自然科学版)》下载全文 |
