【摘 要】
：
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引
【机 构】
：
华东交通大学软件学院,中国铁建重工集团有限公司
【基金项目】
：
国家自然科学基金项目(61163005,61562026),江西省自然科学基金项目(20161BAB202063),江西省主要学科学术和技术带头人资助计划项目(20172BCB22015).
论文部分内容阅读
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程
其他文献
作为我国政府会计制度改革的重要组成部分,事业单位会计制度改革引起了全社会的广泛关注,并在经济建设和社会发展进程中发挥了十分重要的作用。本文首先简要介绍了事业单位会
智能移动设备的重要作用日益凸显，然而，对于性能的追求与有限电池容量的矛盾制约了产业的发展．异构多核处理器架构以其平衡性能与能耗的优势，成为一种新型的解决方案．用户体验优化
软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及