【文件原名】：IEEE802.11中WEP认证协议的SPIN模型检测
【资料成文时间】：2008年
【语言】：中文
【页数】：3
【作者】：金秀 张大方 缪力
【文件格式】：pdf
【摘要或目录】：用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
关 键 词:WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞
帮助说明
1.本站下载资料均经检测，无木马，不使用所谓先下EXE的坑人高速下载！请从本站链接下载，它站转链均与本站无关。
2.为可持续发展，仅提供给本站用户下载，部分资料需金币下载。管理成员和VIP免费下载。
3.显示【本地下载】的为本站自建下载服务器，有速率及连接数限制，若下载不了请稍后再试。金币不会重复扣除。
4.欢迎发布下载资源，除首次奖励外，用户下载后发布者可获得50%下载积分奖励。| 资源发布教程
5.如何获得下载积分？ | #充值金币# | 如何加入VIP？| 即刻加入VIP用户！
6.如下载不了或有问题请到论坛建议区发贴，奖励50金币并会获得妥善处理（邮箱经常会被反垃圾拉截）。
![WiFiSlax-WRC 无线革新5.1 [正式版] 中文版](https://fotos.subefotos.com/fb0c559f5243ee4097658d2a00ee36bao.png)
