基于事件逻辑的无线Mesh网络认证协议安全性证明

• 作者: 李伟 李娅楠 梅映天 肖美华 钟小妹
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 形式化方法 事件逻辑 无线Mesh网络认证协议 中间人攻击
• 年，卷（期）: 2017,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2236-2244
• 页数: 9页
• 分类号: TP393.08
• 字数: 6880字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.12.012

摘要

无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击.事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全性.以事件逻辑为基础提出一系列性质,其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来,以降低协议分析过程中的冗余度以及复杂度,提高协议分析效率.对无线Mesh网络客户端双向认证协议进行分析,证明该协议能够抵抗中间人发起的重放攻击,无线Mesh客户端双向认证协议是安全的.此理论适用于类似复杂无线网络协议形式化分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	华东交通大学软件学院	16	86	7.0	9.0
2	钟小妹	华东交通大学软件学院	9	8	2.0	2.0
3	肖美华	华东交通大学软件学院	18	92	6.0	9.0
4	梅映天	华东交通大学软件学院	7	26	3.0	5.0
5	李娅楠	华东交通大学软件学院	7	18	3.0	4.0