IEEE802.11中WEP认证协议的SPIN模型检测

作     者：金秀 张大方 缪力 JIN Xiu;ZHANG Da-fang;MIAO Li

作者机构：湖南大学计算机与通信学院湖南长沙410082 湖南大学软件学院湖南长沙410082 

基　　金：国家自然科学基金项目(60673155) 国防基础科研“十一五”基金项目(A1420060162) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2008年第29卷第3期

页      码：590-591,600页

摘      要：用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。

主 题 词：WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2008.03.055

馆 藏 号：203418896...