论文部分内容阅读
互联网的迅速发展引起人们对协议安全性的关注，现在国际上流行安全协议的分析方法集中在形式化验证方面，其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明Otway Rees协议的安全性，同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
Otway Rees协议的安全分析
【摘 要】
：
互联网的迅速发展引起人们对协议安全性的关注，现在国际上流行安全协议的分析方法集中在形式化验证方面，其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明Otway Rees协议的安全
【机 构】
：
鞍山科技大学计算机科学与工程学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年2期
其他文献
目的将基于PDCA的循证护理用于慢性阻塞性肺疾病急性加重期(AECOPD)患者中,分析其对患者肺功能、生活质量的影响。方法对我院收治的82例AECOPD患者分组研究,B组行常规护理,A
道孚藏族是康巴藏族的族群之一。在同各个兄弟民族的语言文化接触过程中,道孚藏族也不可避免地受到了语言接触的影响,特别是近年来呈现出由＂母语道孚语＂到＂母语—汉语＂的双语文化
采用气相色谱-质谱联用技术测定赣南和其它地区的脐橙挥发性物质,对不同产地脐橙进行代谢组学研究,为赣南脐橙品质保障提供科学依据。通过GC-MS分析脐橙的挥发性成分,经数据
<正> 从不同食物系统中单离出的许多吡嗪化合物已有报导。在其他的文章中已示明这类化合物在食物加热或烘烤(toasted)时生成的香味(Flavor)中的重要性。较严密地单离它们的方
民事检察监督的路径问题成为当前民事诉讼法修改的热点之一.现行民事诉讼法确立的上级检察机关通过抗诉强制启动再审程序的民事检察监督模式决定了基层检察院缺乏开展民事检
考察职校学生抑郁、焦虑情绪与体育锻炼的关系，以及体育锻炼的状况。采用精神症状自评量表（Symptom Checklist90，SCL-90）和体育锻炼调查问卷，对大一、大二、大三以及五年一贯制的3
Ｌ型细菌研究文献综述南京市职业病防治所何铭近年来多种细菌如葡萄球菌、Ａ群链球菌、肺炎双球菌、百日咳杆菌、大肠杆菌、绿脓杆菌、变形杆菌、结核杆菌，沙门氏菌，霍乱弧菌等均发
从人才观念的发展变化视角出发，找出人才观念与历史、政府、国家和社会等不同层面的关系，总结出科举制度下中国社会人才观念的发展与变化，融合了古今中外社会学、哲学等方面的观
目的 分析地震伤员创口病原菌感染特点及耐药情况,为其感染控制提供病原学调查及临床治疗依据.方法 收集本院的＂5.12＂地震伤员初次送检创口分泌物、坏死组织细菌培养及药物敏感