论文部分内容阅读
Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。
用于安全协议分析的一种新的状态剪枝方法
【摘 要】
：
Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理
【机 构】
：
解放军信息工程大学信息工程学院,郑州大学信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2007年27期
其他文献
随着新型轿车电气化程度的增加，轿车电气设备漏电的概率随之增多，排除轿车漏电故障往往费工费时。下面结合本人工作实践，就检修轿车漏电谈谈自己的一些技巧，以期对同行有所帮助。
2009年11月18日至19日，四川省农机局在成都市新都区召开了全省水稻育插秧机械化技术示范推广项目工作总结交流会，来自全省市、州农机主管部门、水稻机插秧部级和省级项目示范县
记者：目前市场上的定位仪产品非常多,主流设备有哪几类？如果让您推荐一款贵公司的代表产品,您会选择推荐哪一款？宋立国：市场上的定位仪可以简单分为光电类（激光、PSD、CCD、CMOS等
嵌入式设备接入Internet是当今嵌入式系统发展的一个重要趋势,但是Internet提供的开放性网络环境并不保障接入嵌入式系统的安全性。本文在分析嵌入式网络安全特点和研究IPSec
改革开放以来，广安市农机化事业得到了长足的发展，从纵向看，取得的成绩可喜可贺；从横向看，与东部经济发达地区差距很大。如何加快西部欠发达地区农机化发展步伐，加速提升丘陵山区的
小组互动教学是大学英语课堂中经常使用的教学方法。本文针对大学英语大班教学的情况,论述了小组互动教学的理论依据、方式、及其在大学英语课堂教学中的具体应用。
本文基于高校住房补贴种类及管理现状，阐述了高校住房公积金补贴、住房提租补贴、住房货币化补贴的核算与管理方法，以实现高校对教职工住房补贴管理的规范化与制度化。
《恒先》构建了一个以“恒”为核心的哲学体系。“恒”不仅是宇宙万物的本体,而且是人类世界的形而上根据。从本体论角度来看,“恒”经过“或”“气”等阶段的展开,生出了缤
为提高我国汽车节能技术进步，促进道路运输节能降耗。推动交通行业向“资源节约、环境友好”型发展模式转变，交通运输部于2009年颁布《道路运输车辆燃料消耗量检测和监督管理办
本文阐述了企业文化与企业执行力的关系,通过企业管理实践,论述了如何从强化领导楷模作用,塑造企业文化内涵;加强制度文化建设,彰显企业管理内涵;注重培育精神文化,增强企业