【摘 要】
：
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引
【机 构】
：
华东交通大学软件学院,中国铁建重工集团有限公司
【基金项目】
：
国家自然科学基金项目(61163005,61562026),江西省自然科学基金项目(20161BAB202063),江西省主要学科学术和技术带头人资助计划项目(20172BCB22015).
论文部分内容阅读
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程
其他文献
宝宝还未出世时，是一直生活在妈妈温暖、舒服的子宫里。在羊水的包裹中渐渐地长大。出生后失去了这种环境，所以会莫名其妙地哭吵。抚触与按摩正好可以补充这一缺憾。
本研究以云烟87为材料,利用三种钾肥、通过三次喷施、形成不同的喷施量,探究不同类型钾肥在不同烟草生长期对钾素的吸收关系。结果表明,叶面喷施钾肥能够有效提升烟叶中钾肥
作为我国政府会计制度改革的重要组成部分,事业单位会计制度改革引起了全社会的广泛关注,并在经济建设和社会发展进程中发挥了十分重要的作用。本文首先简要介绍了事业单位会
全自动码坯机在我国的出现和发展时间很短，大概不到十年的时间，但近几年发展很快，每年都在创新发展，不断升级换代。为了更好地促进码坯机的不断创新发展，以及在制砖企业更好地普及
智能移动设备的重要作用日益凸显，然而，对于性能的追求与有限电池容量的矛盾制约了产业的发展．异构多核处理器架构以其平衡性能与能耗的优势，成为一种新型的解决方案．用户体验优化
第四届中国·合肥高新技术项目资本对接会筹备工作启动后，得到了合肥高新区园区企业的积极响应。据统计，该区共申报近80个参展项目参加此次展会，这些项目总投资9．45亿元，其中
1施肥原则（1）依据测土配方施肥结果，确定氮磷钾肥合理用量，绿色高效施肥；（2）氮肥分次施用，适当降低氮肥基施用量，高产田块抓好薹肥施用，中低产田块简化施肥环节；（3）依据土壤有效硼旨量状况
根据《内蒙古自治区促进新型墙体材料应用发展管理办法》（内经信办字〔2015〕248号）和《内蒙古自治区新型墙体材料产品指导目录》（内墙字〔2016〕3号）要求,2016年4月21日,内蒙古
软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及