声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：肖美华,李娅楠,宋佳雯,王西忠,李伟,钟小妹,
关键词：事件类, 事件逻辑理论, 置换规则, 强认证性质, WMN客户端与LTCA认证协议, 通用性,
无线Mesh网络是一种新型的宽带无线网络结构，融合无线局域网与点对点模式两者的优势，是无线网络研究的热点之一.基于事件逻辑理论，结合事件结构、事件类、公理簇以及随机数引理，提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列，对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下，无线Mesh网络客户端与LTCA间认证协议的安全性得证，研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性，还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤，阐述事件逻辑理论证明协议安全属性过程，比较分析事件逻辑理论与其他逻辑推理方法，表明事件逻辑理论具有通用性.
来源：2019年第6期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。