论文研究利用CSP方法对IEEE802.11w形式化分析.pdf

运行在IEEE802.11i基础上的IEEE802.11w增加了对无线网络管理帧的保护，针对IEEE802.11w协议的安全性问题，利用了通信顺序进程（CSP）对其进行形式化分析。对协议运行在恶意环境中，存在攻击者的情况下，利用CSP方法建立了攻击者和协议主体的CSP进程模型。使用模型检测工具故障发散改进器（FDR）进行仿真实验，对协议的认证和安全属性进行了校验，发现该协议存在中间人攻击情况，为提高IEEE802.11w的安全性提供了帮助。