论文部分内容阅读
Otway-Rees协议主要功能是完成身份的双向认证。本文探讨了形式化分析在设计密码认证协议中的作用；基于Otway-Rees协议，用BAN逻辑对它进行形式分析，指出形式分析可以辅助发现协议的设计缺陷。
基于BAN逻辑分析Otway-Rees协议
【摘 要】
：
Otway-Rees协议主要功能是完成身份的双向认证。本文探讨了形式化分析在设计密码认证协议中的作用；基于Otway-Rees协议，用BAN逻辑对它进行形式分析，指出形式分析可以辅助发现协
【机 构】
：
合肥工业大学计算机与信息学院,铜陵学院计算机系
【出 处】
：
巢湖学院学报
【发表日期】
：
2006年3期
其他文献
二十世纪初年，根据中美两国政府的协议，美国率先退还部分庚子赔款，清政府则开始选派学生赴美留学，此即退款兴学。美国方面为什么首开退款之风，退还庚款为何与兴学连在一起。这一事
在离别诗创作史上,李白的离别诗具有独特的个性,尤其表现为浪漫情怀的个性化表达方式。李白独特的浪漫情怀表现在现实、人事、自然及诗心等方面,由此影响了离别诗的独特风格,
新形势下，随着社会进程的加快和高校自身发展的需要，旧的德育管理模式和德育方法在当今的实际工作中已经收效甚微，要想使高校德育工作实现高效必须走创新之路。
文章主要对国家教育部公布的《国家精品课程评估指标（2007）》和《国家精品课程评审指标体系（征求意见稿）》进行了详细比较，指出国家精品课程评价指标体系五年来的发展变化以及存在
爱情无疑是大学生最为关注的话题之一。而大学生恋爱也早已不再是“犹抱琵琶半遮面”了。但恋爱心理的不成熟、不健康必然会给大学生带来许多异常性的恋爱行为，从而造成大学生
化脓性阑尾炎是常见的外科急腹症，其切口感染发生率高达10％一20％，是外科同行非常关注的问题。我院自1996年6月至2007年3月共手术治疗化脓性阑尾炎137例，由于采取了一些有效措施，使
通过介绍发电机自并励静止励磁系统在分宜电厂100MW汽轮发电机组中的应用,说明该励磁方式的优点,并探讨了大中型汽轮发电机自并励静止励磁系统组成方案.
医院感染管理工作已经成为评价医院医疗护理质量的重要标志之一.发生医院感染不但会增加患者和医院的经济负担,还会给患者带来痛苦,甚至危及生命,它严重制约着医院医疗质量的
碳纤维增强复合材料（CFRP）基于其优良的力学性能，近年来越来越多的应用于在土木工程的加固补强中，本文将根据CFRP加固结构的特点，论述其加固原理、工艺以其在国内外结构加固的应用