论文部分内容阅读
网络安全在信息时代非常重要，而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法，BAN类逻辑是其中重要的一种，GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY逻辑的可靠性分析，指出GNY逻辑是一个不可靠的认证逻辑系统。
GNY逻辑系统可靠性分析
【摘 要】
：
网络安全在信息时代非常重要，而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法，BAN类逻辑是其中重要的一种，GNY逻辑就是一种BAN类逻辑。而认证
【机 构】
：
信息工程大学信息工程学院,信息工程大学科研部
【出 处】
：
信息工程大学学报
【发表日期】
：
2006年2期
其他文献
对于某些灰度特征相对复杂的图像,传统的二维最大熵阈值分割法效果不佳。文章提出了基于混沌优化原理的二维熵分割法,利用类似载波的方法将混沌序列映射至双阈值的二维空间,对局部最大熵进行搜索,在找到的所有极大点中,根据目标所占图像的比例选择最佳阈值进行分割,其分割效果明显优于遗传算法所找到的全局最大值。并用此法对常用的测试图片进行了分割实验,结果证明算法具有可行性。
提出了一种适用于高斯白噪声背景下的正弦波频率估计的新算法。通过将采样信号分成多段，搜索其平均幅度谱最大位置对应的频率从而完成粗略估计。而累积谱的方法有效地提高了信
越来越多的研究表明,氧化应激在许多中枢神经系统疾病中的发生发展中起关键作用,随着年龄的增长人体内抗氧化系统机能逐步降低,使得脑缺血、脑梗死以及阿尔茨海默氏病(AD)、
文章提出了一种薄膜电阻加载的微带环形谐振器均衡器子结构。研究表明，通过电阻加载的环形谐振器不仅具有中心频率和衰减幅度调节功能，而且能够对电路的品质因数进行调节，为均衡
协方差矩阵求逆算法具有在强干扰条件下提取弱期望的优良性能。但算法党幅相误差影响明显，且干扰方向处的零陷宽度很窄，当干扰方向变化时会导致抑制干扰能力下降。文章利用快速
人生长激素(Human growth hormone GH)已在临床使用,并有滥用于矮小儿童之势.本文收集了国外近几年 GH治疗矮小儿童的资料,发现 GH治疗小儿软骨发育不全是较公认的适应证.用1
文章针对Montgomery模乘的特点，分别对Pollard Phro、P-1和P＋1算法进行适当的改造，使得底层的经典模乘运算可以由Montgomery模乘来代替。实验结果表明，在使用了Montgomery模乘之
从1998年5月～2001年12月我院对口服氟乙酰胺鼠药中毒的20例患儿,在采取常规抢救措施的同时,胃管内灌注去甲肾上腺素,现报告如下.
根据TD-SCDMA相关规范,以蒙特卡洛思想为理论基础,设计了一种TD-SCDMA系统级仿真方法,给出了系统静态仿真的基本思想和流程,并简要介绍了仿真平台的结构模块。仿真平台通过Ma
文章介绍了业务规则管理技术的概念，对基于业务规则管理技术的信息系统开发方法进行了总结，讨论了基于业务规则系统开发框架，通过与结构化的开发方法和面向对象的开发方法的比较