论文部分内容阅读
BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略的条件，以增强验证的可靠性，通过对发送和推理的消息单元进行限定，使消息新鲜性判定规则适用于更多类型的协议安全性验证。
BAN逻辑的可靠性分析与改进
【摘 要】
：
BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略
【机 构】
：
贵州大学计算机科学与信息学院
【出 处】
：
计算机工程
【发表日期】
：
2012年17期
【基金项目】
：
国家自然科学基金资助项N（60863005,61011130038）,贵州大学自然科学青年科研基金资助项目（（2009）021）,贵州大学研究生创新基金资助项目（省研理工2010005,校研理工2011033）
其他文献
新形势下传统农业科技信息服务体系已经不能适应农民日益分散生产的科技信息需求,造成了农民的“信息贫困”严重影响了我国的现代化进程和建设小康社会进程.本文分析了开展农
（接上期）7马桥的振动 琴弦是一种线状体，在受到激发后虽然能够产生出相应的振动能量，却不能依靠本身的结构形态在乐器的周围空间建立一个具有足够强度的声场。因此，在所有的弦乐器
2004年以来的核准制度下,证监会发行审核委员会(正文中简称发审委)依旧掌握着决策上市资格的权力。作为信息不对称的一方,发审委对发行人的信息获取来源很大程度上依赖于保荐
目的探讨突发危机应激事件对大学生睡眠质量的影响。方法于2019-05至08通过调查问卷的形式对某高校位1650名大学生进行调查,采用自编问卷对大学生近期(三个月内)是否存在突发