论文部分内容阅读
在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻辑改进的方向．
密码协议分析工具——BAN逻辑及其缺陷
【摘 要】
：
在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻
【机 构】
：
西安电子科技大学信息保密研究所
【出 处】
：
西安电子科技大学学报
【发表日期】
：
1999年03期
其他文献
为了进一步明确体育局作为政府的一个公共管理的职能部门,肩负着维护我国体育强国地位和发展全民健身运动等使命,对厦门市体育局公共职能管理的进行研究,对厦门市体育局人力
健康伦理学最早出现于中国学术界。从健康道德到健康伦理学,最初的研究主要集中在讨论经济社会的发展与人的健康的道德关系,到后来扩大到对社会政治、经济、文化、生态与人健
所谓化石,是指保存在地层或岩石中的生物遗体或遗迹.当生物遗体或遗迹被岩土覆盖后,其硬体和遗迹部分在岩石、地下水的长期交换作用后,逐步固结石化便形成了化石,如骨骼、牙
期刊
陕西南北狭长,由北到南分为陕北、关中、陕南,其中关中自古就是陕西经济最富庶的地区。而对于关中西部来说,地理上位于陕西与甘肃、宁夏、四川等地区沟通的必经之地,直到民国
罗伯特·弗罗斯特是20世纪最受欢迎的美国诗人之一,我们可以看到他的诗歌语言平实却内容深刻。本文围绕消除异化这一主题,对他的诗歌进行探索论证。最后得出结论,消除异化是
城市地铁建设会引起大量的现状管线改迁,其中给排水管线改迁数量多且难度大。本文在总结给排水管线改迁的原则和基本方法的基础上,结合深圳地铁建设典型案例分析给排水管线改
水晶棉纤维是牛角瓜果实经脱籽后得到的冠毛纤维。作为一种新型的天然纤维素纤维，水晶棉纤维具有光泽好、中空度高、质地轻盈、吸湿透气性好、以及绿色环保等优良特点。目前，同
<正>全髋关节置换术是成人髋关节重建中最常见的手术。手术的主要目的是减轻痛苦,恢复关节运动功能,维持髋关节稳定。术后效果与外科手术技术、生物材料和假体设计等多方面因
随着我国加快构建中国特色哲学社会科学以及实施哲学社会科学创新工程工作的推进,高校作为哲学社会科学研究的重要力量,创新发展和提升其人文社会科学发展水平刻不容缓。该文
随着人类社会的进步、医学水平的提高、特殊教育事业的发展,自闭症儿童语言康复训练得到了长足的进步与发展。本文就自闭症儿童语言康复训练的方法、原则以及在训练中需要注