【摘 要】
：
选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形
【机 构】
：
陕西师范大学数学与信息科学学院,南阳理工学院软件学院,西安电子科技大学计算机网络与信息安全教育部重点实验室
【基金项目】
：
国家自然科学基金资助项目(61173190);陕西省自然科学基金资助项目(2009JM8002,2012JQ8023);中央高校基本科研业务费基金资助项目(GK200902051,GK201002041,GK201002037)~~
论文部分内容阅读
选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好地形式化描述AOR协议,对传统的PCL进行一定的扩展;紧接着,用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述,将改进后的协议进行模块化划分,并利用PCL进行组合证明;最后,得出改进后的AOR协议具有密钥保密属性。
其他文献
<正>长期以来,台湾著名作家、历史学家李敖在台湾政界,尤其是岛内文坛,是无人可及、出了名的"怪杰"。翻开他的个人简历,人们就感到好奇:祖籍为云南乌撒,可他的远祖不是汉族,
高等教育哲学就是有关高等教育的最为核心的观念和方法。以"历史理性"作为高等教育的哲学根基,以"大学的可能世界"的历史理性的表达作为高等教育的核心观念和基本信仰,不仅在
文章概述了传感器研究现状与发展,进而从工业机器人、机械加工方面及汽车行业方面论述了传感器技术在机电一体化中的应用,最后就传感器技术的未来发展方向进行了简要阐述,并
商业模式是从战略研究领域衍生而来的一个重要概念,与战略之间呈何关系的问题至今仍没有明确的答案,以至于管理学界对商业模式研究的意义存在争议。本文在简述商业模式研究兴
分析了21世纪以来我国塑料机械对外贸易现状;介绍了2012年我国三大塑料机械出口概况;展望了我国塑料机械国际市场的未来。
采用单向复合材料缠绕型式,对F-12和国产芳纶Ⅲ纤维增强环氧复合材料进行力学性能测试,考核了两种芳纶纤维/环氧复合材料界面黏结性能,并进行了拉伸破坏机理与强度分析,获得
介绍了磷系阻燃剂、硅系阻燃剂及其协同阻燃体系的阻燃机理,回顾了磷硅协同阻燃剂在环氧树脂中的应用情况,并对其应用前景进行了展望。
本文提出了基于蓝牙无线模块的篮球计时计分器的设计方案,使用89系列的单片机以及C语言程序完成了相关的设计。采用计数的方式实现了分数的累加以及时间的倒计。采用蓝牙无线
本文分析了GPS产品在中国市场上的现状以及发展前景,探索如何加快我国GPS应用产业的发展,使GPS应用产品走向平民化。在GPS商品中,价格因素无疑是制约产品发展的基本因素,提高
大型仪器设备是高校科学研究和实验教学的重要物质保障,管理的好坏直接影响到大型仪器设备效益的发挥,随着高校大型仪器购置数量的不断增加,高校仪器设备的管理问题也逐渐突