基于事件逻辑的WMN客户端与LTCA认证协议安全性分析

摘要：

无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.

关键词：事件类、事件逻辑理论、置换规则、强认证性质、WMN客户端与LTCA认证协议、通用性

所属期刊栏目：56

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

资助基金：国家自然科学基金项目61163005,61562026;江西省自然科学基金项目20161BAB202063;江西省主要学科学术和技术带头人资助计划项目20172BCB22015

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

页数：共15页

页码：1275-1289