论文部分内容阅读
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.
基于Strand空间的认证协议证明方法研究
【摘 要】
：
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
2002年7期
其他文献
为了解农民的医疗状况,农民、卫生人员及农村干部对农村医疗服务和现行医疗保健制度的看法与建议,研究组对旬邑县三个乡(镇)、6个村的农村、乡村医生及乡村干部共82人进行了
高师面对国际竞争的当务之急要全面推进素质教育。本文通过对高师化学教育专业素质教育的意义，未来基础教育合格化学教师的素质结构以及高师化学教育专业素质教育模式的研究，探
关于乙型病毒性肝炎(以下简称乙肝)的感染因素,国内外已作了大量的调查研究,为了了解本地区乙肝的主要感染因素和为制定本地区乙肝防制对策提供依据,于1995年2～3月对区辖部分
分析了WWW用户的浏览活动规律,提出了有关WWW浏览路径优化的一些基本概念,设计了一个基于用户访问模式的浏览路径优化算法,并与相关的工作进行了比较.
核糖体展示是20世纪90年代中期发展起来的一种简便而有效的体外分子选择与进化技术.它也是第一种完全在体外进行蛋白质或多肽分子选择与进化的方法.本文主要概述了体外核糖体
把遗传算法应用于求解谷氨酸分批发酵动力学模型参数,取交叉概率Pc=0.8、变异概率Pm=0.06、初始种群为20、遗传世代数为200代,能进一步提高谷氨酸分批发酵过程状态变量的计算
本文主要是针对网络广告的特点,以Flash 5.0软件制作一个公司的宣传动画广告作为实例,详细地讲述了用它来设计一个网络广告的具体步骤.
圆弧的表示一直是计算机辅助设计关心的问题.但是,现有的方法对用户并不友好.利用C-Bézier曲线,给出了圆弧的一系列表示方法,讨论了这些表示方法的相互关系.为度量其优