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