论文部分内容阅读
基于BAN逻辑的协议分析往往容易忽略密码协议潜在的"重放攻击"漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.
关于BAN逻辑分析的改进
【摘 要】
：
基于BAN逻辑的协议分析往往容易忽略密码协议潜在的"重放攻击"漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.
【机 构】
：
昆明理工大学理学院数学系
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2002年3期
其他文献
将全球板块边界带分别按照不同的宽度加以界定，计算了全球板块边界应力场的长、短波分量，讨论了应力场短波分量对观测应力场的相对贡献，分析了其与板块边界相互运动类型的相关性
以螺旋桨理论设计方法为基础,通过优化螺旋桨设计,以高效桨代替常规MAU型螺旋桨,使某化学品船在保持相同航速的前提下,实现降低主机转速,减小主机轴功率输出,实现减少排放,经
介绍了抽象状态机(ASM)，建立了基于这种形式化方法的协议描述于验证的环境，并建立了一般意义上的入侵者模型.作为应用实例，给出了Helsinki协议的ASM规约，说明利用这个规约可以直
随着机栽电子元器件体积缩小性能提高，功耗不断增大，散热问题日益严峻，热电制冷技术受到广泛关注，为了掌握热电制冷器的散热性能,设计了热电制冷器散热性能实验测试装置，对热电制
分析了目前托管式安全监控(MSM)系统存在的优势及缺陷,提出了将机器学习应用到MSM系统的观点,以提高系统的分析效率,克服存在的社会工程安全问题.MSM系统是为了克服单一安全
为了实现生产过程中轮毂的自动加工,采用了基于以太网的 DNC（Distributed Numerical Contro）结构方案,优化了新的轮毂加工流程,完成了 DNC 功能模块开发,实现了加工过程中加工
设计出应用于复合材料领域的单面缝合机构,该缝合机构基于双凸轮机构进行设计,根据机构要求选择滚子直动从动件合适的运动规律、确定凸轮的基本参数,在MATLAB 中生成凸轮轮廓
AutoCAD软件被广泛的应用于工程制图,电子工业,土木建筑,测绘行业等多个领域,面对不同行业的线型需求,在AutoCAD中如何快速自动绘制不同的线型是提高绘图效率的关键。以电缆线为例探索了AutoCAD软件中自定义线型的加载方法,从而实现了自定义线型的绘制与加载过程。