只为小站
首页
域名查询
文件下载
登录
利用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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
基于蒙特卡洛生成电动汽车充电负荷曲线程序
YOLOv5 人脸口罩图片数据集
科研伦理与学术规范 期末考试2 (40题).pdf
基于STM32的FFT频谱分析+波形识别
基于LSTM模型的股票预测模型_python
校园网规划与设计(报告和pkt文件)
python大作业--爬虫(完美应付大作业).zip
2022学术英语写作(东南大学) 章节测试+期末test答案
quartus II13.0器件库.zip
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
基于ray filter的雷达点云地面过滤ROS节点
python实现的学生信息管理系统—GUI界面版
银行笔试 信息科技岗部分真题
全国道路网SHP数据.zip
最新下载
华为HN8145XR升级文件 HN8145XR-V5R021C00S260
C ++ 11 S / MIME:具有安全功能的简单MIME解析器和生成器
编译原理:学习指导与典型题解析
net-snmp5.7.2编译好的lib
喵赞任务点赞系统源码.zip
net-snmp编译好的lib库
SAP HCM schema:考勤项目实例.pdf
net-snmp-5.7.3以及net-snmp-5.9.4.rc1
模拟抖音APP源码-Android视频播放
CDLINUX支持8187和3070_40420版带超级权限.rar
其他资源
基于MUSIC的均匀矩形阵DOT估计matlab仿真程序
图书管理系统数据库设计SQLSERVER
基于FPGA的数字图像处理原理及应用__牟新刚.zip
计算N50的python脚本
C语言开发Linux下web服务器(支持GET/POST,SSL,目录显示等)
LPDDR2 VS LPDDR3的比较
C#音乐播放器
论文研究 - 一类非线性系统输出反馈分布式模型预测控制器的设计
Testlink搭建,使用手册.docx
laravel.admin.panel:laravel 5.8 *管理面板-源码
RefreshLoadListComponent.js
scrapy官方手册中文 高清完整.pdf版下载
非常帅气的后台管理前台框架bootstrp+HTML5+css3
激光转台plc程序
UniWebView 3.12.1
数字信号处理的matlab实现的常用算法集合
Visual画图工具
JAVA_WEB网站运行环境搭建
步进电机的工作原理及选型与计算