更强的密钥交换可证安全模型

来源 :南京航空航天大学学报:英文版 | 被引量 : 0次 | 上传用户:anlanyuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设计和分析双方密钥交换协议,目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性,形成一个统一的安全模型是非常必要的。本文评估了eCK',eCK和CK模型,证明了eCK’模型是当前最强的密钥交换可证安全模型,并形式化分析了这些模型的强弱关系。此外,对于模型问存在的蕴含关系还提供了形式化证明,并对非蕴含关系给出了反例。
其他文献
针对混合型步进电机低速运行状态下脉动转矩较大的特点,应用鲁棒自适应控制策略来设计其低速伺服控制器,以实现高精度的跟踪控制性能。首先,根据混合型步进电机转矩形成的机理,揭
船闸扩容改造工程,往往受周边建(构)筑物的影响,施工场地狭小。为了避免基坑在施工期间发生明显的危害变形,对周边建(构)筑物产生不良影响,需对基坑邻边建(构)筑物进行防护。
H型动压气体轴承陀螺电机(以下简称"动压电机")装配后的组合间隙是轴承筛选的关键指标。实际工程中部分动压电机产品的组合间隙与按照轴承零件尺寸计算的间隙相差较大,测量重复性
在构建大涡结构理论模型的基础上,设计了局部喷入和吸出的结构来模拟局部粗糙壁面。采用直接数值模拟的方法,研究了在边界层流中局部粗糙壁面对大涡结构非线性作用的问题。数值
为解决渤海沉潜油的回收处置问题,研究人员以工作母船作为载体,集成前端集油装置、高效吸油泵、沉潜油回收控制系统等关键装置,研制出了沉潜油移动回收系统。通过对关键装置
思想政治建设,是党的根本建设,是领导班子和干部队伍建设的核心和灵魂,是管根本、管方向、管长远的基础性工作。今年以来,冀中能源邯矿集团云驾岭矿在持续深化职工思想情绪动
提出了一种解决无线传感器网络覆盖问题的分布式启发式机制。该机制在节能前提下,得到优化的目标覆盖集合,以实现对目标监控区域的完全覆盖,并通过对其中重点目标集合的冗余覆盖
新时代加强爱国主义教育基地开发建设是使爱国主义教育基地更加符合时代需要。大力挖掘历史文化内涵和合理运用现代新媒体技术是必然途径。这对于引发共情和激励人民奋发有为
随着我国经济发展水平的逐步提升,社会对建筑工程的需求量越来越大。近年来,我国建筑工程在建设的过程中开始追求绿色生态理念,开展绿色建筑建设,愈发重视建筑项目的节能效果