IEEE802.11中WEP认证协议的SPIN模型检测
IEEE802.11中WEP认证协议的SPIN模型检测
评分(0)
  • 分类:无线资料 - 设计开发
  • 浏览:58 次
  • 下载:0 次
  • 版本:简体中文
  • 下载消耗:免费
详细内容
【文件原名】: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金币并会获得妥善处理(邮箱经常会被反垃圾拉截)。

点评
* 很差 一般 很好 评分评分
*
Smilies

QQ | Archiver | 手机版 | 无线论坛 ( 粤ICP备11076993|粤公网安备44010602008359号 ) |网站地图

GMT+8, 2021-9-23 08:10

返回顶部