无线网协议802.11i安全性的一种形式化分析方法
评分(INF)
- 分类:无线资料 - 设计开发
- 浏览:239 次
- 下载:0 次
- 大小:179 KB
- 版本:简体中文
- 下载消耗: 免费
详细内容
张招亮,张广泉
(苏州大学计算机科学与技术学院,江苏苏州215006)
摘要:首先建立了无线环境中入侵者的能力模型,再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性.分析结果表明,在提出的模型下,四次握手协议能安全地分配PTK和GTK.
关键词:无线网;802.11i;安全性;串空间;形式化分析
(苏州大学计算机科学与技术学院,江苏苏州215006)
摘要:首先建立了无线环境中入侵者的能力模型,再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性.分析结果表明,在提出的模型下,四次握手协议能安全地分配PTK和GTK.
关键词:无线网;802.11i;安全性;串空间;形式化分析
相关截图添加图片
暂无截图
帮助说明
点评
推荐下载more
-
Ansoft 高级培训班教材:PCB 板立体布线射频特性的Ansoft HFSS分析-线间耦合
天线资料浏览:728 次下载:6 次
-
NetIQ IxChariot 5.4 破解版
测试工具浏览:29657 次下载:1538 次
-
海口美兰国际机场无线局域网解决方案
工程方案浏览:2939 次下载:70 次
-
AirMagnet Survey 5.0无线网络勘察验收工具
无线软件浏览:10715 次下载:272 次
-
wirelessmon中文版(wirelessmon) v4.0.1008中文专业版
扫描分析浏览:2785 次下载:115 次
-
DD-WRT X86 32位 破解版
DD-WRT浏览:6396 次下载:228 次
-
wifi密码常见字典集合(9.6GB)
字典下载浏览:51243 次下载:372 次
-
中国海洋大学校园无线网络系统技术建议书
工程方案浏览:1364 次下载:20 次
热门下载more
-
斐迅K2 可刷固件收集大全MT7620A
43浏览:43620 次下载:5095 次
-
netStumbler无线热点扫描软件
14浏览:144270 次下载:2815 次
-
常见breed固件收集 2313个【2020更新】
43浏览:30987 次下载:1908 次
-
网件Netgear R6400原厂及梅林固件集 BCM4708 x7.9
41浏览:19541 次下载:1649 次
-
NetIQ IxChariot 5.4 破解版
13浏览:29657 次下载:1538 次
-
斐讯K2最稳定的华硕padavan老毛子固件
43浏览:38280 次下载:1433 次
-
精装新华字典 (最后更新+) 21.2G
33浏览:15315 次下载:1202 次
-
ASUS华硕RT-AC68U无线路由器固件/梅林固件汇集 BCM4708 x7.6/x7.7/x7.8/x7.9
41浏览:21136 次下载:1195 次
专题more
-
Aruba控制器固件
Aruba 6xx/7xxxx控制器固件下载
-
Asuswrt-Merlin梅林固件专题汇集
加拿大人Eric Sauvageau在华硕开源的Asuswrt代码基础之上,个人进行二次开发以后,对外发布的第三方固件。最早是针对ASUS RT-N66U路由器进行开发,后来也移植到了华硕其他路由器机型。 Merlin原作者官网:https://www.asuswrt-merlin.net 国内所提供的梅林固件均源上述。