只为小站
首页
域名查询
文件下载
登录
利用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
通信顺序进程
中文版和英文原本
通信顺序进程
中文版和英文原本,对照着看你懂的
2021-11-15 00:36:16
4.78MB
CSP
通信顺序进程
1
通信顺序进程
C.A.R.Hoare著周巢尘译(中文电子版)
这是中文版的
通信顺序进程
教材,主要有7章的内容。第一章是进程,第二章是并发性,第三章是非确定性,第四章是通信,第五章是顺序进程,第六章是资源共享。第七章是讨论。
2021-09-11 16:56:47
4.03MB
CSP
1
周巢尘翻的
通信顺序进程
的原版
发现中文版翻译的哪里没理解啊的时候可以参考一下这本原版的。 不是扫描的
2021-09-06 13:43:23
1.22MB
CSP
通信顺序进程
英文
原版
1
通信顺序进程
中文版
通信顺序进程
CSP中文版 原装Hoare,周尘巢老师翻译,绝版书籍。
2019-12-21 20:16:58
4.03MB
通信顺序进程
csp
中文
1
PAT——一种高性能软件验证工具
通信顺序进程
(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。
2019-12-21 19:24:51
10.53MB
PAT
CSP
通信顺序进程
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
雷达信号处理仿真程序(MTI,MTD等)
pytorch实现前馈神经网络实验(torch实现)
云视通扫描工具.zip
python爬虫数据可视化分析大作业.zip
JPEG的Matlab实现
空间谱估计理论与算法------程序.rar
Monet智能交通场景应用
EasyMedia-ui.zip
token登录器.rar
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
基于ray filter的雷达点云地面过滤ROS节点
pytorch实现RNN实验.rar
VideoDownloadHelper去除120分钟时间限制-高级版.zip
最新下载
Android 群英传
python实验期末大作业,数据分析及可视化
西门子1500选型手册
一定要看!MES系统选型九步!_CRM产品经理 需求规格说明书管理系统规格需求说明书模板.docx
企业必看的MES系统选型注意事项.pdf
MES系统选型与实施.pdf
CAMSTAR手册.docx
西门子MES手册 16 OpcenterEXCR_SystemAdmin_81RB1.pdf
MES用户操作手册.rar
MES智慧车间项目总结
其他资源
Acdsee 3.1经典版大合集(附webp格式图片浏览与预览插件)
Andrea Goldsmith和David Tse两位大神的无线通信原理书籍英文原版
CVRP问题遗传算法实现
c#和sqlserver编写的学生信息管理系统
基于粒子群算法的物流中心选址
SWAT模型——QQ 群共享资料汇编
光伏出力数据
基于jsp机房管理系统
计算器(带括号,可用负号)
QR_Research二维码识别
基于labview IMU 姿态解算上位机
淡抹夕阳登陆器源码...比较完整
黄山道路矢量wgs84坐标系2021年最新shp.zip
3篇球杆仪资料.zip
BokkyPooBahsTokenTeleportationServiceSmartContract:BokkyPooBah的代币远程传送服务智能合约-源码
oimasterchat.zip
SAFETY OF THE INTENDED FUNCTIONALITY (非预期功能安全Sotif英文版资料).pdf
Digital Image Processing 4th Edition
JPEG压缩源代码
CCS C Compiler
水果智能分类系统(模式识别)
ARM处理器裸机开发实战--机制而非策略
逻辑---15道批判性思维题目测试
EMC存储产品线大全供初学者参考
java 基础-面向对象-线程-集合-IO流-网络 思维导图大全
non-local means denoising 程序