基于SMV的安全协议建模及类型缺陷攻击发现

• 作者: 李东建 陆际光
• 来源期刊: 中南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 类型缺陷 模型检验 安全协议 符号模型检验
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 68-71
• 页数: 4页
• 分类号: TP393
• 字数: 3812字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-4321.2005.02.019

摘要

在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆际光	中南民族大学计算机科学学院	50	246	9.0	12.0
2	李东建	中南民族大学计算机科学学院	1	2	1.0	1.0