张招亮，张广泉
(苏州大学计算机科学与技术学院，江苏苏州215006)
摘要：首先建立了无线环境中入侵者的能力模型，再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性．分析结果表明，在提出的模型下，四次握手协议能安全地分配PTK和GTK．
关键词：无线网；802.11i；安全性；串空间；形式化分析
帮助说明
1.本站下载资料均经检测，无木马，不使用所谓先下EXE的坑人高速下载！请从本站链接下载，它站转链均与本站无关。
2.为可持续发展，仅提供给本站用户下载，部分资料需金币下载。管理成员和VIP免费下载。
3.显示【本地下载】的为本站自建下载服务器，有速率及连接数限制，若下载不了请稍后再试。金币不会重复扣除。
4.欢迎发布下载资源，除首次奖励外，用户下载后发布者可获得50%下载积分奖励。| 资源发布教程
5.如何获得下载积分？ | #充值金币# | 如何加入VIP？| 即刻加入VIP用户！
6.如下载不了或有问题请到论坛建议区发贴，奖励50金币并会获得妥善处理（邮箱经常会被反垃圾拉截）。
|
Archiver
|
手机版
|
无线论坛
(
粤ICP备11076993|粤公网安备44010602008359号
)
|网站地图
![WiFiSlax-WRC 无线革新5.1 [正式版] 中文版](https://fotos.subefotos.com/fb0c559f5243ee4097658d2a00ee36bao.png)
