只为小站
首页
域名查询
文件下载
登录
利用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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
2010年-2020中国地面气候资料数据集(V3.0)
voc车辆检测数据集(已处理好,可直接训练)
基于matlab扩频通信系统仿真(整套代码)
DBSCAN算法Matlab实现
ChinaMeteorologicalDataHandler.R
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
基于蒙特卡洛生成电动汽车充电负荷曲线程序
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
大唐杯资料+题库(移动通信)
2022学术英语写作(东南大学) 章节测试+期末test答案
现代操作系统原理与实现.pdf
西门子逻辑控制设计开发_3部10层
多目标优化算法(四)NSGA3的代码(python3.6)
先进PID控制Matlab仿真第4版-PDF+代码.zip
copula程序及算法.zip
最新下载
MQTT客户端_v2.4(协议3.1.1).exe
pyBandits:多臂老虎机算法的实现-源码
ZQ_CMA.m QPSK横模算法解偏振
南开大学人工智能学院机器学习大作业.7z
电子科技大学机器学习大作业
GridView的增删改查功能
研究生智能控制技术期末知识点整理
数据库课程设计springboot292校园外卖服务系统设计与实现.sql
面向5G的大规模MIMO天线阵列研究.pdf
Web入门项目源码分享——记账本
其他资源
labview串口数据采集并显示
Hough变换实验附件和Matlab完整代码
图像去除反光
43个Python代码打包下载
Hdg Remote Debug
随机森林代码
android端 用户点击选择拍照或打开相册选择图片
一种面向对象的遥感影像多尺度分割方法
C++动态库和静态库的使用.rar
华中科技大学汇编实验一二三.zip
08信号与系统笔记.rar
C#基于Windows平台语音控制系统Demo
TortoiseGit-LanguagePack-2.7.0.0-64bit-zh_CN
SAP hybris 6.4 B2C平台搭建文档
TestNG依赖包jcommander-1.48.jar
66页《可视化统计概率入门书》PDF教材
王道操作系统2019百度网盘.txt
4WD小车安装教程及程序
robotics toolbox 8.0工具箱
Java 7并发编程实战手册 pdf全本
JAVA实现 中点画线算法、Bresenham画线算法
黑马2018 JAVA IDEA 版 教程两套
学生信息管理系统