基于模型检测的NS公钥认证协议分析

• 作者: 刘玉坤 张浩军
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 安全协议 形式化分析 模型检测 Haskell
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 信息与网络安全
• 页码范围: 90-93,101
• 页数: 5页
• 分类号: TN918.1
• 字数: 3224字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2009.02.026

摘要

模型检测的研究大致包括以下内容:模态逻辑、模型检测算法及其空间效率的改进.以NS认证协议的模型形式化与分析为例,对模型检测的思想进行说明,并利用惰性语言Haskell实现了上述模型形式化与分析,并成功找到了中间人攻击序列.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张浩军	河南工业大学信息科学与工程学院计算机工程系	65	229	8.0	12.0
2	刘玉坤	河南工业大学信息科学与工程学院计算机工程系	1	0	0.0	0.0