【摘 要】
：
一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点
论文部分内容阅读
一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性。
其他文献
主要介绍了碱性电池组装流水线中隔离管制造机的设计目的、基本原理、设计的各个参数要求,以及使用时注意的各方面要点.通过设备的开发,能够大大提高碱性电池流水线的生产速
2005年12月在乌兹别克斯坦首都塔什干召开的“中亚能源市场：趋势和前景”国际科学实践讨论会提出了在上海合作组织框架内建立某种能源组织的思想。考虑到行使上海合作组织职权
炸黄瓜盒［原料］黄瓜、姜末、猪肉、胡椒面、鸡蛋、料酒、面粉、酱油、葱末、香油、精盐、椒盐、味精、油。［制法］１将黄瓜洗净，切去两头，斜刀切成长４ｃｍ、宽２．６ｃｍ、厚０．３５ｃｍ的活页片；将猪肉洗净，剁成肉
本文通过对当下鲁迅作品在大学生中的传播状况的调查,了解长春市大学生对鲁迅作品的接触、接受、评价等状况,以便为保持或促进鲁迅作品在大学生中的传播和加强鲁迅作品对大学
本试验旨在研究饲粮非纤维性碳水化合物/中性洗涤纤维(NFC/NDF)对卡拉库尔羊营养物质消化率和瘤胃菌群结构的影响。试验选取18月龄、体况良好、体重[(35.0±3.3)kg]相近
本文详细地介绍了株洲硬质合金厂供、用水系统中采取的节能措施和取得的经济效益.
目的:探讨对四肢骨折患者采取经皮微创接骨板内固定术治疗的临床效果。方法:抽取我院2017年8月~2018年8月所接收的50例四肢骨折患者进行比较分析,按照所处采取的手术方法不同
为探讨共培养条件下沙门菌对粪肠球菌N41分离株生长特性及其不同生长时期26种毒力基因转录的影响,将N41菌株、沙门菌菌株单独/混合培养后,分别进行菌落计数并绘制生长曲线,观
目的 探讨别嘌醇进行预处理对经皮冠状动脉介入治疗围手术期心肌损伤的影响.方法 选取进行经皮冠状动脉介入治疗围手术期的患者共168例,随机分为研究组和对照组,每组84例.对
笔者结合自己的教学实践,对当前初中数学结课所存在的问题进行总结,并在对当前几种盛行的数学课堂结课方法评议的基础上,结合初中数学教学的特点,归纳总结出初中数学结课所需