| 基于SPIN的网络认证协议高效模型检测 |
| |
| 引用本文： | 缪力,谭志华,张大方.基于SPIN的网络认证协议高效模型检测[J].计算机工程与应用,2012,48(21):62-67. |
| |
| 作者姓名： | 缪力 谭志华 张大方 |
| |
| 作者单位： | 湖南大学 信息科学与工程学院，长沙 410082 |
| |
| 基金项目： | 中央高校基本科研业务费资助 |
| |
| 摘 要： | 为了有效地提高网络认证协议建模和验证的效率，基于模型检测方法提出一个通用的网络认证协议模型描述方法，结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略，不仅可以对不同协议进行高效建模，而且减小了模型的状态空间。与现有的文献相比，自动化程度较高，模型验证的效率较好。基于该方法，对PKM认证协议进行了模型检测，实验证明该模型分析验证方法的有效性，可用于其他网络认证协议的分析验证。
|
| 关 键 词： | 网络认证协议 模型检测 简单进程元语言解释器（SPIN） 模型简化策略 密钥管理（PKM）协议 |
Effective model checking of network authentication protocol based on SPIN |
| |
| MIAO Li
,
TAN Zhihua
,
ZHANG Dafang.Effective model checking of network authentication protocol based on SPIN[J].Computer Engineering and Applications,2012,48(21):62-67. |
| |
| Authors: | MIAO Li TAN Zhihua ZHANG Dafang |
| |
| Affiliation: | College of Information Science and Engineering, Hunan University, Changsha 410082, China |
| |
| Abstract: | |
| |
| Keywords: | network authentication protocol model checking Simple Promela Interprete(rSPIN) modeling simplified strategies Privacy and Key Managemen(tPKM)protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
