论文部分内容阅读
BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略的条件，以增强验证的可靠性，通过对发送和推理的消息单元进行限定，使消息新鲜性判定规则适用于更多类型的协议安全性验证。
BAN逻辑的可靠性分析与改进
【摘 要】
：
BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略
【机 构】
：
贵州大学计算机科学与信息学院
【出 处】
：
计算机工程
【发表日期】
：
2012年17期
【基金项目】
：
国家自然科学基金资助项N（60863005,61011130038）,贵州大学自然科学青年科研基金资助项目（（2009）021）,贵州大学研究生创新基金资助项目（省研理工2010005,校研理工2011033）
其他文献
新形势下传统农业科技信息服务体系已经不能适应农民日益分散生产的科技信息需求,造成了农民的“信息贫困”严重影响了我国的现代化进程和建设小康社会进程.本文分析了开展农
文中简要介绍＂翻转课堂＂发展概况。由于《国际商务单证》课程教学存在重理论、轻实践、学生学习差异性突出等问题,本文构建了＂课前——自主学习,课中——知识内化,课后——评价
（接上期）7马桥的振动 琴弦是一种线状体，在受到激发后虽然能够产生出相应的振动能量，却不能依靠本身的结构形态在乐器的周围空间建立一个具有足够强度的声场。因此，在所有的弦乐器
在社会经济全面快速发展的今天,人民群众对生产生活用电需求不断增加。为全面保障用电安全,切实提升供电服务质量,供电企业应该提高培训质量,并不断提升培训成效。在供电企业
文章以习总书记在学校思想政治理论课教师座谈会上的讲话精神为指导,阐述对思政课教师如何把立德树人的根本任务落实在思政课教学始终的看法。
2004年以来的核准制度下,证监会发行审核委员会(正文中简称发审委)依旧掌握着决策上市资格的权力。作为信息不对称的一方,发审委对发行人的信息获取来源很大程度上依赖于保荐
本文主要针对电厂高压变频器的应用进行分析,在解析高压变频器的结构特征以及其在电厂中具体应用的基础上,指出其运行中存在的问题,并提出优化策略。
目的探讨突发危机应激事件对大学生睡眠质量的影响。方法于2019-05至08通过调查问卷的形式对某高校位1650名大学生进行调查,采用自编问卷对大学生近期(三个月内)是否存在突发
随着“互联网+”概念的日益普及,与其结合的传统行业也是越来越多,其中与教育的深层次融合给我们的教学过程带来了创新。同时传统教学过程中的很多问题也暴露无遗,为了能够让