无线网协议802.11i安全性的一种形式化分析方法
评分(0)
- 分类：无线资料 - 设计开发
- 浏览：337 次
- 下载：0 次
- 大小：179 KB
- 版本：简体中文
- 下载消耗： 免费
- 时间：2017-08-01
详细内容
张招亮，张广泉
(苏州大学计算机科学与技术学院，江苏苏州215006)
摘要：首先建立了无线环境中入侵者的能力模型，再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性．分析结果表明，在提出的模型下，四次握手协议能安全地分配PTK和GTK．
关键词：无线网；802.11i；安全性；串空间；形式化分析
(苏州大学计算机科学与技术学院，江苏苏州215006)
摘要：首先建立了无线环境中入侵者的能力模型，再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性．分析结果表明，在提出的模型下，四次握手协议能安全地分配PTK和GTK．
关键词：无线网；802.11i；安全性；串空间；形式化分析
相关截图添加图片
暂无截图
帮助说明
点评
推荐下载more
-
Ralink wifi开发及相关应用指南
设计开发浏览：1396 次下载：23 次
热门下载more
-
安卓Android wifi开发详细指南
22浏览：955 次下载：67 次
-
用Verilog+HDL实现基于FPGA的通用分频器的设计
22浏览：772 次下载：56 次
-
MT7620A 11n 2.4G AP电路原理图
22浏览：1642 次下载：55 次 -
Ralink wifi开发及相关应用指南
22浏览：1396 次下载：23 次
-
MTK-OpenWrt-3.10.14-SDK Release Notes
22浏览：1623 次下载：21 次
-
Microwave Filters, Impedance Matching network and Coupling Structure.pdf
22浏览：896 次下载：20 次
-
MT7628_LinuxAP_V4.1.0.0_DPA_20160310.tar.bz2
22浏览：1295 次下载：18 次
-
MTK_openwrt_7620_SDK
22浏览：1586 次下载：12 次
专题more
-
Aruba控制器固件
Aruba 6xx/7xxxx控制器固件下载 -
Asuswrt-Merlin梅林固件专题汇集
加拿大人Eric Sauvageau在华硕开源的Asuswrt代码基础之上，个人进行二次开发以后，对外发布的第三方固件。最早是针对ASUS RT-N66U路由器进行开发，后来也移植到了华硕其他路由器机型。 Merlin原作者官网：https://www.asuswrt-merlin.net 国内所提供的梅林固件均源上述。