论文部分内容阅读
系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham -Schroeder和包含三方主体的Woo—Lam认证协议的分析。最后通过比较认证测试方法和BAN逻辑在安全协议分析的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。
认证测试方法在安全协议分析中的应用
【摘 要】
：
系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham -Schroeder和包含三方主体的Woo—Lam认证协议的分析。最后通过比较认证测试方法和BAN逻辑在安全
【机 构】
：
上海交通大学电子工程系
【出 处】
：
计算机工程
【发表日期】
：
2006年2期
其他文献
能工巧匠们设计建造了一座又一座摩天大楼,但说到真正的建筑高手,我们还得去动物王国里寻找。看了这些动物界的建筑高手的杰作,只怕人类的建筑大师也只得甘拜下风。
我是世上最杰出的推销员,几乎没有我卖不出去的东西。一天,一个人找到我,要我帮他卖一样东西——他的过去。我仔细一看,哎,逃学、打架...这过去可真不怎么样
研究多载波CDMA（MC-CDMA）上行半盲多用户检测技术,对基于Chebyshev逼近算法实现的最小输出能量（MOE）盲多用户检测进行改进,提出MC-CDMA系统下一种基于子空间跟踪和Chebyshev逼近
许多卫视用户在接收卫星电视的过程中，都会遇到信号画面马赛克的现象。这究竟是什么原因引起的呢?我们对其进行综合分析，发现主要可分为两种情况：一是因为信号衰减而引起的，二是由于视频解码器处理问题而引起的 1、信号衰减引起的马赛克现象 是否是因接收问题使得信号衰减而引起的马赛克现象，可以通过接收机的信号锁定指示灯(LOCK)的闪烁来加以判断。当信号衰减到接近门限时，载噪比的下降会引起信噪比的
数据挖掘技术具有很多优点，但存在隐私威胁等不足。该文针对聚类分析时如何保护隐私的问题，提出独立噪音思想并设计独立噪音算法（INA）。该算法对原数据叠加噪音以保护原始数据不
如今,实行市场经济,国家又制定了《农业法》,粮价放开了,粮食市场出现了繁荣景象。然而,在繁荣的市场背后,粮食生产又存在着诸多问题。 三明的粮食基地县宁化县1993年粮食总
看到这么多的人对AVR的熔丝位不会使用和误操作，特地给出参考。对AVR熔丝位的配置是比较细致的工作，用户往往忽视其重要性，或感到不易掌握。下面给出对AVR熔丝位的配置操作时的
印度电信管理局日前发表了“广电与电信融合竞争的建议”。该局认为，随着技术的融合，电信和广电在某些层面上已经很难区分。法规和管理部门应该认可并促进这种融合，从而促进竞争
当两类中的样本数量差别较大时,支持向量机的分类能力将会下降。该文提出了一种支持向量机新算法——DFP-PSVM,将有约束条件的二次规划问题转换为无约束二次规划问题,并通过优化计算来实现。为了克服传统的蛇形算法不能收敛于边缘凹陷处以及初始化过于敏感的缺点,采用基于可变形模型的梯度矢量流方法,提取了乳腺X光片中的肿瘤区域,分析了3个基于边缘的价矩。将其他肿瘤形状特征作为DFP-PSVM分类算法的特征输