IEEE802.11中WEP认证协议的SPIN模型检测
评分(INF)
- 分类:无线资料 - 设计开发
- 浏览:256 次
- 下载:0 次
- 版本:简体中文
- 下载消耗: 免费
详细内容
【文件原名】:IEEE802.11中WEP认证协议的SPIN模型检测
【资料成文时间】:2008年
【语言】:中文
【页数】:3
【作者】:金秀 张大方 缪力
【文件格式】:pdf
【摘要或目录】:用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
关 键 词:WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞
【资料成文时间】:2008年
【语言】:中文
【页数】:3
【作者】:金秀 张大方 缪力
【文件格式】:pdf
【摘要或目录】:用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
关 键 词:WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞
相关截图添加图片
暂无截图
帮助说明
点评
推荐下载more
-
CDlinux 0.9.6.1 傲天虫V3.0
无线安全浏览:6536 次下载:340 次
-
2010年中国联通北京公司WLAN建设项目技术建议书
工程方案浏览:3145 次下载:42 次
-
21站泄露门字典【跑包必备】
字典下载浏览:10331 次下载:521 次
-
ch341a编程器软件 绿色破解版
其它浏览:4548 次下载:399 次
-
Wifi扫描查看器(WifiInfoView) v2.21 中文绿色版
扫描分析浏览:3782 次下载:226 次
-
中国电信高桥大市场无线网络与智慧商场解决方案
工程方案浏览:2137 次下载:18 次
-
HFSS设计教程
无线软件浏览:2658 次下载:10 次
-
完美字典_tirom发布_v09d_共9.4亿条,9.8G,无重复,无中文,8-16位
字典下载浏览:4843 次下载:282 次
热门下载more
-
斐迅K2 可刷固件收集大全MT7620A
43浏览:43617 次下载:5095 次
-
netStumbler无线热点扫描软件
14浏览:144270 次下载:2815 次
-
常见breed固件收集 2313个【2020更新】
43浏览:30987 次下载:1908 次
-
网件Netgear R6400原厂及梅林固件集 BCM4708 x7.9
41浏览:19541 次下载:1649 次
-
NetIQ IxChariot 5.4 破解版
13浏览:29654 次下载:1538 次
-
斐讯K2最稳定的华硕padavan老毛子固件
43浏览:38277 次下载:1433 次
-
精装新华字典 (最后更新+) 21.2G
33浏览:15312 次下载:1202 次
-
ASUS华硕RT-AC68U无线路由器固件/梅林固件汇集 BCM4708 x7.6/x7.7/x7.8/x7.9
41浏览:21132 次下载:1195 次
专题more
-
Asuswrt-Merlin梅林固件专题汇集
加拿大人Eric Sauvageau在华硕开源的Asuswrt代码基础之上,个人进行二次开发以后,对外发布的第三方固件。最早是针对ASUS RT-N66U路由器进行开发,后来也移植到了华硕其他路由器机型。 Merlin原作者官网:https://www.asuswrt-merlin.net 国内所提供的梅林固件均源上述。
-
Aruba控制器固件
Aruba 6xx/7xxxx控制器固件下载