期刊文章详细信息
基于模型检测的NS公钥认证协议分析
Analysis of Needham-Schroeder Symmetric Key Authentication Protocol Based on Model Checking
文献类型：期刊文章
机构地区：[1]河南工业大学信息科学与工程学院计算机工程系,郑州450001
年 份：2009
卷 号：37
期 号：2
起止页码：90-93
语 种：中文
收录情况：ZGKJHX、普通刊
摘 要：模型检测的研究大致包括以下内容:模态逻辑、模型检测算法及其空间效率的改进。以NS认证协议的模型形式化与分析为例,对模型检测的思想进行说明,并利用惰性语言Haskell实现了上述模型形式化与分析,并成功找到了中间人攻击序列。
关 键 词：安全协议 形式化分析 模型检测 HASKELL
分 类 号：TN918.1]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
