利用CSP方法对IEEE802.11w形式化分析

• 作者: 吴名欢 李雄伟 程小辉
• 来源期刊: 计算机应用研究
• 关键词: 无线网络 形式化分析 故障发散改进器 通信顺序进程
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1489-1492,1502
• 页数: 5页
• 分类号: TP393.04
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.05.053

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程小辉	桂林理工大学信息科学与工程学院	91	420	10.0	16.0
2	吴名欢	桂林理工大学信息科学与工程学院	10	24	3.0	4.0
3	李雄伟	中国石油集团测井有限公司信息管理部	3	0	0.0	0.0