论文部分内容阅读
分别使用形式化分析工具Casper+FDR和OFMC模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例.同时指出了文[1]和文[2]中存在的几个谬误.然后对协议进行了修正.形式化验证结果表明修正后的协议是安全的.
一个军网身份鉴别协议的形式化分析及修正
【摘 要】
：
分别使用形式化分析工具Casper+FDR和OFMC模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例.同时指出了文[1]和文[2]中存在的几个谬误.然后
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
国家重点基础研究发展计划(973计划);
其他文献
齐齐哈尔卜奎清真寺是黑龙江省历史最久、规模最大、保存相对完整的清真寺之一。本文对其总体布局、建筑形式和建筑装饰进行分析、解读，希望对清真寺建筑文化、古建筑艺术的研
目前人口老龄化已经成为当今社会发展的一个不可逆转的局势，而营造一个良好的养老生活环境是解决老龄化局势以及老年人生活的一个基本问题。本文从老年人心理需求的角度出发，着
在现代的土木工程建设过程中，施工技术的管理与应用是施工企业在工程建设管理过程中的重点工作，也一个企业在管理水平以及管理能力等方面的重要表现。所以在土木工程的施工管理
随着建筑业的迅猛发展、建筑市场竞争的日益加剧，利用现代化的管理技术和手段，使生产要素优化组合、资源合理配置，组织高效益的施工，成为每个施工企业所追求的目标。为了实现这一
随着我国的经济发展，各个城市建筑群、综合体如雨后春笋般拔地而起，城市汽车越来越多，道路的拥堵对消防人员及时赶赴火灾现场灭火造成很大的不确定性，水消防等主动防火设施的设计
以某一实际工程为例，建立空间计算模型对地铁出入口进行数值分析。通过对结构进行自重和水反力两种工况分析研究，总结地铁出入口设计方法，供同行们在今后的设计中作借鉴、参考。
目前我国的高层建筑数量越来越度，为促进城市现代化建设做出巨大贡献，实现了城市土地的充分利用，为人们生活工作提供了更多的空间。但是高层建筑的兴起同时也带来了一定的问题，例
随着我国经济的发展，建筑行业得到了快速的发展，对建筑工程的施工技术和质量的要求也越来越高。工业与民用建筑施工技术管理与质量控制作为影响工业与民用建筑工程质量、使用寿
当环境问题危及国计民生的时候，人们才开始反省在改造生存环境的同时破坏了自然界的平衡。现在国际社会开始进行各种形式的活动，来号召人们保护环境和改善环境。建筑作为人类经