【摘 要】
：
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定
【机 构】
：
电子科技大学计算机科学与工程学院,重庆通信学院三系数据链教研室
【基金项目】
：
电子科学基金（No.514500101DZ02）,国家973重点基础研究发展规划（No.G1999035803）
论文部分内容阅读
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分“可靠信任”和“不可靠信任”,解决了“相信事情的发生”和“相信事情的真实性”两种不同信任的区别,并在此基础上建立了动态逻辑方法.通过实例分析,该方法可以发现类BAN逻辑不能发现的协议漏洞,从而证明了方法的有效性.
其他文献
本文提出了一种新的多个近场窄带信源距离、频率及二维到达角四维参数联合估计算法.首先基于特定序号阵元输出计算的高阶累积量构造4个矩阵,接着结合这些矩阵的结构特点构造3
可重构计算以其优异的性能和高度的灵活性,在国际国内研究领域逐渐引起广泛的关注.然而,在研的可重构计算系统架构多种多样,编程模型多与体系结构相关,使用和移植都非常困难.
IPv6隧道代理机制是一种重要的IPv4／IPv6过渡技术，但存在不足和不够完善的地方.首先，它不支持NAT（网络地址翻译）用户；其次，该机制没有为实现隧道服务器负载均衡提供一种具体的调度方
中国是家文化最发达的国家，几千年家国天下的文化熏陶确立了家族观念在人们日常生活乃至国家政治经济生活中的指导地位．这也奠定了家族企业在我国的重要地位。家族企业根源于传
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;
本文对企业内外部绩效的博弈过程作了分析;从而为企业中职能部门提高利润提供对策。总结出企业各层面的博弈次数越多,完善程度越高,系统各方之间的关系便越接近“纳什均衡”