只为小站
首页
域名查询
文件下载
登录
利用CSP方法对IEEE 802.11w形式化分析
运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行形式化分析。对协议运行在恶意环境中,存在攻击者的情况下,利用CSP方法建立了攻击者和协议主体的CSP进程模型。使用模型检测工具
故障发散改进器
(FDR)进行仿真实验,对协议的认证和安全属性进行了校验,发现该协议存在中间人攻击情况,为提高IEEE 802.11w的安全性提供了帮助。
2021-11-23 11:02:12
844KB
无线网络;
形式化分析;
故障发散改进器;
通信顺序进程
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
token登录器.rar
python爬虫数据可视化分析大作业.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
校园网规划与设计(报告和pkt文件)
东南大学英语技术写作慕课所有答案
2019综合测评仿真.zip
C4.5决策树算法的Python代码和数据样本
BP神经网络+PID控制simulink仿真
中小型企业网络建设.pkt
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
Keil5安装包
数字信号处理——保研复习资料.pdf
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
VideoDownloadHelper去除120分钟时间限制-高级版.zip
ios无人直播 虚拟视频实用版 可以导入视频
最新下载
C#把文件拖动到窗口上面 Q698507 问题的回答
哈工大-高级算法设计与分析课程ppt-2020最新版
校园二手交易源码(C C# APS .NET 毕业设计)
KX3553驱动插件完整版.zip
GD32F405RGT6-SPI从模式代码
RTKLIB软件使用参考说明
GD32F405RGT6-SPI主模式代码
基于Qt开发的C++程序。利用assimp读取gltf/fbx等文件,并显示
MIMO-OFDM无线通信技术及MATLAB实现.rar
陀螺仪资料(全).zip
其他资源
STC15增强型8051单片机C语言编程与应用徐爱钧
sep reader(书生公文阅读器)
运用5种不同的梯度增强法进行图像锐化MATLAB代码
SNMP c代码实现
爬取知网的社科基金项目(文章)信息
基于神经网络车牌字符识别
自己开发的瓦片地图下载器(TMS),64位系统用
MySQL安装教程+Visual Studio 2017 C#连接远程 MySQL数据库.pdf
基于UDP的可靠传输(停等协议)
pos机收费管理程序【C语言】
Google Plugin for Eclipse 4.3
2014年全国数学建模大赛a题资料
C语言指令集
gcc-linaro-7.4.1-2019.02-i686-mingw32_arm-eabi.tar.xz
莆田道路矢量wgs84坐标系2021年最新shp.zip
Redis从入门到精通(深入剖析)【55集完整资料】46-redis-redis的主从复制-提供三台redis服务.avi
WebSocketServer.java
DOS命令速查包,很详细。
实用网络技术配置指南-初级篇
简单的Linux下Ftp客户端(C语言编写)
iOS 9.3 Xcode开发包
数码相框设计与实现
matlab2017b百度云
universal-image-loader-1.9.5.jar