【文件原名】: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金币并会获得妥善处理(邮箱经常会被反垃圾拉截)。