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

摘要：

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

关键词：形式化方法、事件逻辑、无线Mesh网络认证协议、中间人攻击

所属期刊栏目：39

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金61562026;江西省自然科学基金20161BAB202063;江西省对外科技合作项目20151BDH80005;江西省主要学科学术和技术带头人资助计划2017BCB22015

在线出版日期：2018-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2236-2244