一种安全协议的形式化验证方法

来源 :湖北师范学院学报(自然科学版) | 被引量 : 0次 | 上传用户:xhh2010
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤,指出BAN逻辑的缺陷,由此而产生的改进BAN逻辑和现状,并对BAN类逻辑作全面的回顾与展望,得出:BAN类逻辑仍然是密码协议分析和设计的主要工具,但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。对未来协议的形式化分析工作具有指导意义。
其他文献
目的探讨良性前列腺增生(BPH)汽化电切术后膀胱痉挛的影响因素,并提出预防建议。方法选取常德市第一人民医院2017年1月-2018年10月收治的BPH患者185例,将术后出现膀胱痉挛的
在网络时代,图书馆馆员继续教育与图书馆工作创新有着直接的关系。馆员应树立继续教育的观念,不断学习,提高自身综合素质,增强创新能力,才能为图书馆现代化的发展做出更大的贡献。
目的探讨培美曲塞联合顺铂化疗后给予培美曲塞维持治疗晚期肺腺癌的临床疗效。方法选取广东省佛山市第一人民医院2017年1月-2018年6月收治的晚期肺腺癌患者53例,随机分为对照
近年来国外学者通过临床观察发现情感性障碍与季节变化之间有一定的相关性,并通过生化研究提出了生物节律——褪黑激素假说。作者对符合 CCMD—2情感性障碍诊断标准的56例患
目前,我国食品卫生标准中仅规定了总铬的限量.签于Cr6+和Cr3+的毒性差异很大,我们认为对食品中的铬只作总量分析是不完善的,只有分别了解食品中三价铬和六价铬的含量,才能给
基于城乡教育均衡发展的视角,对湖北省农村中小学教师生存发展状况和队伍素质进行调查分析,并在此基础上提出相关政策建议。
通过关联理论分析探讨了学生阅读理解的认知过程,及其对于英语阅读理解的可适用性,具体阐述了如何培养学生在阅读过程中通过寻找最佳关联取得最佳语境效果,以期帮助学生提高
本文分析了上海地区四家精神病院万余张门诊处方用药情况。采取了限定日剂量、药物使用指数等国际上常用的测量单位来监测医师是否合理用药,解决了不同时间、不同医院、不同
目的探讨纳洛酮治疗一氧化碳中毒的临床疗效。方法选取丰城市人民医院2015年12月-2017年12月收治的一氧化碳中毒患者80例,根据急诊抢救方式不同分为对照组与观察组,各40例。