论文部分内容阅读
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.
基于SMV的安全协议建模及类型缺陷攻击发现
【摘 要】
：
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.
【机 构】
：
中南民族大学计算机科学学院
【出 处】
：
中南民族大学学报(自然科学版)
【发表日期】
：
2005年02期
其他文献
<正>教学内容:人教版《义务教育教科书·数学》四年级下册第26页。教学目标:1.引导学生在解决问题的过程中通过观察、类比、举例、验证、归纳等数学活动发现、理解乘法分配律
债务成本的高低不仅会影响到企业的融资效率，也是对企业的业绩增长和长远发展起重要作用的因素之一。债权人与企业之间的代理问题和信息不对称会使得企业的债务成本增加，虽然国
笔者着重对玉米转基因研究进展进行综述,把目前研究中存在的问题进行总结。总结国内外学者对玉米转基因方法的相关研究及影响转基因效果的各种因素。着重阐述了农杆菌在玉米
随着经济社会的发展进步,城市"空巢"老人的经济保障已经不是问题。农村"空巢"老人在经济支持、生活照料、精神慰藉等方面面临着更多的不确定性,"空巢"可能致使农村老人产生的
以福建莆田市九龙谷、快乐农庄休闲农业景区为研究区域,运用问卷调查和实地访谈方法,在分析样本游客人口学特征的基础上,从旅游动机、旅游信息获取渠道、对旅游目的地的决策
本文以端午节为例,从文化象征的视角,通过列举端午节多彩的民俗事项,挖掘其丰富的传统文化内涵,最终对端午节日旅游的发展提出探索性建议,以期能给中国传统节日旅游的发展提
通过对电工电子实验课程的改革,探讨将Multisim仿真引入实验教学,分析基于Multisim仿真实验教学的优势。结合设计实例给出Multisim仿真在电工电子实验中的应用。实验表明,Mul
目前在全球范围内,普遍都出现了储蓄过剩的现象,由于对生产、消费、分配等各方面直接或间接的影响,它日益成为一个不容忽视的问题。本文通过分析储蓄过剩造成的后果,探讨它背