WAPI安全接入过程的形式化验证
评分(INF)
- 分类:无线资料 - 设计开发
- 浏览:457 次
- 下载:0 次
- 版本:简体中文
- 下载消耗: 免费
详细内容
【文件原名】:WAPI安全接入过程的形式化验证
【资料成文时间】:2008年
【语言】:中文
【页数】:4
【作者】:秦建丰 郝黎明 薛质
【文件格式】:pdf
【摘要或目录】:WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议。
关 键 词:无线局域网 WAPI WAI 证书鉴别
【资料成文时间】:2008年
【语言】:中文
【页数】:4
【作者】:秦建丰 郝黎明 薛质
【文件格式】:pdf
【摘要或目录】:WAPI协议是我国自行制定的无线局域网国家标准。在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证。验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议。
关 键 词:无线局域网 WAPI WAI 证书鉴别
相关截图添加图片
暂无截图
帮助说明
点评
推荐下载more
-
XiaoPanOS小胖 0.4.7.2
无线安全浏览:6334 次下载:432 次
-
wifi密码常见字典集合(9.6GB)
字典下载浏览:51019 次下载:372 次
-
中兴W615 V3 无线AP固件集合 AR9344
其它固件浏览:15881 次下载:785 次
-
WLAN运营网络方案建议书 之 中国移动(CMCC)篇
工程方案浏览:823 次下载:3 次
-
天线设计软件4nec2的简易教程
天线资料浏览:2170 次下载:37 次
-
WiFiSlax 无线破解系统 4.6 Final下载
无线安全浏览:4733 次下载:21 次
-
ubnt airMax XM.v5.3.3 Anywlan定制版
固件浏览:1347 次下载:67 次
-
奥巴马新整QQ老密跑包字典1.53G
字典下载浏览:4049 次下载:177 次
热门下载more
-
斐迅K2 可刷固件收集大全MT7620A
43浏览:43568 次下载:5095 次
-
netStumbler无线热点扫描软件
14浏览:144265 次下载:2815 次
-
常见breed固件收集 2313个【2020更新】
43浏览:30960 次下载:1908 次
-
网件Netgear R6400原厂及梅林固件集 BCM4708 x7.9
41浏览:19536 次下载:1649 次
-
NetIQ IxChariot 5.4 破解版
13浏览:29649 次下载:1538 次
-
斐讯K2最稳定的华硕padavan老毛子固件
43浏览:38095 次下载:1430 次
-
精装新华字典 (最后更新+) 21.2G
33浏览:15286 次下载:1201 次
-
ASUS华硕RT-AC68U无线路由器固件/梅林固件汇集 BCM4708 x7.6/x7.7/x7.8/x7.9
41浏览:21113 次下载:1195 次
专题more
-
Aruba控制器固件
Aruba 6xx/7xxxx控制器固件下载
-
Asuswrt-Merlin梅林固件专题汇集
加拿大人Eric Sauvageau在华硕开源的Asuswrt代码基础之上,个人进行二次开发以后,对外发布的第三方固件。最早是针对ASUS RT-N66U路由器进行开发,后来也移植到了华硕其他路由器机型。 Merlin原作者官网:https://www.asuswrt-merlin.net 国内所提供的梅林固件均源上述。