论文部分内容阅读
本文通采用BAN逻辑对Otway-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Ot-way-Rees协议的安全性。
基于BAN逻辑分析Otway-Rees协议安全性
【摘 要】
：
本文通采用BAN逻辑对Otway-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Ot-way-Rees协议的安全性。
【机 构】
：
焦作大学电大部
【出 处】
：
微计算机信息
【发表日期】
：
2007年18期
其他文献
目的:评价异舒吉泵入治疗老年急性心梗合并急性左心衰的疗效和安全性。方法:选择急性心梗合并急性左心衰的老年患者20例。在常规治疗的基础上,加用异舒吉注射液50mg,通过输液
本文首先指出了档案备份应用的一些措施，研究了如何进行档案灾难恢复，力求做到完全备份与差量备份相结合、冷备份与暖备份相结合、本地备份与异地备份相结合。对数字档案材料进
<正>肩关节是人体活动度最大的关节,广义的肩关节是由胸锁关节、锁骨、肩锁关节、肩胛骨、盂肱关节、肱骨近端以及肩胛胸壁关节共同组成的复杂结构[1]。盂肱关节及胸锁关节、
合成了一种含溴、氮的三嗪阻燃剂——— 2 ,4,6-三 (2 ,4,6-三溴苯氧基 ) -1,3 ,5 -三嗪 ,利用FTIR、NMR和TG对其结构和热分解行为进行了表征 ,研究了在三氧化锑协效剂的存在
在我国古代，自从国家形成以来，君主对民众的统治主要依靠各级官吏。官吏负责传达执行君主的命令，直接管理广大民众。官吏是否尊主奉法、尽职尽责，直接关系到王朝的治乱兴衰。先秦
<正>中共中央政治局2月23日下午就全面推进依法治国进行第四次集体学习。中共中央总书记习近平在主持学习时强调,全面建成小康社会对依法治国提出了更高要求。我们要全面贯彻
针对功能强大、应用广泛的虚拟仪器开发软件LabVIEW只能直接支持NI公司的数据采集卡,而不能直接使用普通数据采集卡的问题,重点研究了在LabVIEW平台下使用普通数据采集卡的重