论文部分内容阅读
BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后，着重研究了BAN逻辑存在的各类缺陷，并对BAN类逻辑需要改进的方面进行了讨论。
BAN逻辑及其在协议认证中的缺陷
【摘 要】
：
BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后，着重研究了BAN逻辑存在的各类缺陷，并对BAN类逻辑需
【机 构】
：
中国民航飞行学院现代教育技术中心．四川广汉618307
【出 处】
：
电脑知识与技术
【发表日期】
：
2011年4期
其他文献
<正> 清华大学材料学院与美国标乐(Buehler)公司首次联合举办的《固态材料表面制备与显微分析》培训班,于1999年7月5日至7日在清华大学刚竣工的逸夫科学技术馆内新建的“清华
研究了平面波照射下无限大周期各向异性阻抗劈散射特性。基于阻抗边界条件（impedance boundary condition,IBC）,提出了解决该问题的三维矩量法（MM）-物理光学（PO）混合算法。由于阻抗
通过模拟高寒地区自然条件,对西藏某电站坝址英安岩进行饱水条件下冻融循环试验、电镜扫描试验和单轴、三轴抗压强度试验。通过对冻融循环条件下英安岩的物理特性（质量变化、
摘要：《大学计算机基础》作为大学生首门学习的计算机类的基础课程，对于其后续的计算机技能的学习和应用有着十分重要的意义，该文旨在探索如何对于非计算机专业的学生关于计算机课程的教学模式和教学方法进行改革，激发学生对《大学计算机基础》的学习兴趣，提高学生的计算机应用能力。力求让学生更快、更好、更全面地掌握计算机知识，满足社会的需求。 关键词：计算机教学；大学计算机基础；教学改革 中图分类号：G642
针对机翼概念设计阶段存在的气动载荷与结构变形之间的耦合效应问题,结合机翼概念设计阶段模型简化、快速估算的特点,提出了基于弱耦合迭代的流-固耦合效应的解耦方案。通过
该文主要论述了神经网络在电力变压器故障诊断中的应用,首先介绍了一种单隐层、固定激活函数的变压器故障诊断神经网络,以及一种寻找优化隐节点数的方法。在此基础上提出了另
采用DTA(差热分析仪），XRD（X射线衍射）研究添加元素Zr对PrFeB非晶合金的形成，组织结构的影响，结果表明，PrFeB非晶薄带最终晶化为α－Fe和Pr2Fe14B相，晶化过程中析出亚稳相Pr2Fe23B3，非晶