【摘 要】
：
会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全
论文部分内容阅读
会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠。
其他文献
对大型锅炉现用的切圆燃烧和前后墙对冲燃烧2种燃烧方式进行了全面的比较,并分别对其炉膛大型化技术特点进行了分析探讨.
近年来，互联网金融在我国发展迅速，但同时也暴露出了一些疑难问题和风险隐患，特别是P2P平台的不断“爆雷”，给大量的投资人造成了巨大的损失。笔者在司法实践中发现，涉互联网金融
设计了一种利用不同材料电阻的比值随温度变化的特性进行二阶补偿的低压带隙基准电压源。通过温度补偿电阻进行电平平移,提高运放的共模输入范围,以降低运放对电源电压的限制
随着信息时代的随不断发展,我国的信息产业也相对地加快了前进的步伐,为了适应当前以及未来即将面对的各种情况,信息产业化对于信息的传输介质有了新的要求,有线传输技术在众
目的:探讨基层医院护理管理者应注重护理人员的人文关怀。方法:选择2016年11月至2017年12月在我院实习的53例护理人员作为研究对象,将其分为对照组和观察组。其中对照组26例,
采用热重、热重-红外谱联用及差示扫描量热法,对鲍鱼多糖进行热分析研究,结果表明鲍鱼多糖在空气和氮气氛中,230～340℃之间发生剧烈的分解反应.氮气氛中,是吸热的分解过程;而
血管紧张素转化酶(ACE)通过一系列的生理反应,从而起到升高血压的作用,在人体中过量ACE的产生会引起高血压,而生物活性物质ACE抑制肽能够抑制ACE的功能。文章主要综述了ACE抑
目的探讨miR-138调节SIRT1p-STAT3通路抑制高糖诱导肾小球系膜细胞炎性反应及纤维化的机制。方法设NG组、NG+miRNA-138沉默组、NG+miRNA-138转染组、HG组、HG+miRNA-138沉默
国家十三五规划中提出要完善现代综合交通运输体系,随着国家战略布局开展和青藏铁路建成运营,青藏高原地区的公路交通建设需求逐年递增。青藏高原地区分布众多野生动植物、许
目的评估肺癌患者住院化疗期间的营养状况,为肺癌患者进行合理的营养支持提供参考依据。方法运用营养风险筛查表（NRS-2002）及人体测量指标,包括身高、体质量、体质量指数等,对1