运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行形式化分析。对协议运行在恶意环境中,存在攻击者的情况下,利用CSP方法建立了攻击者和协议主体的CSP进程模型。使用模型检测工具故障发散改进器(FDR)进行仿真实验,对协议的认证和安全属性进行了校验,发现该协议存在中间人攻击情况,为提高IEEE 802.11w的安全性提供了帮助。
2021-11-23 11:02:12
844KB
1
这是中文版的通信顺序进程教材，主要有7章的内容。第一章是进程，第二章是并发性，第三章是非确定性，第四章是通信，第五章是顺序进程，第六章是资源共享。第七章是讨论。
2021-09-11 16:56:47
4.03MB
1
通信顺序进程（communicating sequential proces）验证软件，打开csp格式文件的软件，对开发的软件进行验证的高性能工具。
2019-12-21 19:24:51
10.53MB
1