【摘 要】
:
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全
论文部分内容阅读
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全协议的安全性,怎样设计协议才能使之满足安全性的要求,都是安全协议研究领域需要不断探索的问题。为了分析安全协议的安全性,研究人员提出了形式化分析的方法,并利用这类方法找出了许多协议的缺陷和攻击,对安全协议的设计和分析提供了很大的帮助。但是,出于安全的考虑,现在的安全协议加入了很多新的密码运算,而一些形式化分析方法在设计时没有对这些运算进行定义,所以无法用来分析某些安全协议。因此,本文以串空间模型、诚实理想和认证测试方法为基础,对这些问题进行了深入的研究,取得了一些的成果。论文的主要研究内容有以下几个方面:首先,对串空间模型、诚实理想及认证测试方法在经典安全协议分析中的应用做了深入研究,并通过对这些协议形式化的分析发现了其中存在的安全缺陷和攻击,给出了相应的攻击方式,并以分析结果为依据对这些协议提出了具体的改进方案。其次,在对串空间模型、诚实理想及认证测试方法深入研究的基础上,指出它们对加入了签名运算和哈希运算的安全协议不能有效分析,因此要对串空间模型、诚实理想及认证测试方法进行扩展。主要扩展了串空间中自由假设、子项关系以及入侵者模型,扩展了诚实理想的相关定义和定理,扩展了认证测试方法中的分量、测试分量、转换边、被转换边、输出测试方法、输入测试方法以及主动测试方法。最后,通过对一个不可否认电子邮件传输协议的分析,验证了扩展后的诚实理想及认证测试方法的准确性。
其他文献
解析函数是复分析中一个重要的研究对象,此类函数具有许多有用的性质,如:唯一性,积分与路径无关,延拓性等。 作为解析函数的推广,拟共形映射是由Gr(o)tsch于1928年在研究Rieman
一“三违”现象产生的根源 1“三违”人员安全意识淡薄。不知道“钱今天不挣可以明天挣,身体受到伤害或者生命不复存在,挣钱再多又有什么用”的道理,认识不到安全对自身生命
环论是一门重要的代数学科,它是代数几何和代数数论的基础,环也被用于其它一些学科领域。随着科学和技术的不断发展,环理论进展越来越精确和完善,并且环的初步结果已在实践中得到
Carrying on a series of compression and shear tests by a large number of specimens,reliabilities of T300/QY8911 laminated composite were studied when dispersibi
本文主要研究单部件可修系统的瞬时可用度波动问题。由于一个系统或部件在使用初期的工作状态呈现波动变化,所以研究波动产生的机理对系统或部件的日常运作有重要意义。作者主
伴随着我国高等教育改革的不断深化,设计类学科研究生培养进入了一个较高层面。尤其在国家文化创意产业政策的鼓励引导下,整个社会对高层次设计类人才需求越来越大,这就要求我们
草地和树木都是绿色的植被。在全球变化研究中,植被被公认为是反映生态环境变化的重要而又敏感的指示器。利用遥感技术获取绿地信息成为快速、客观、准确的城市生态监测、评
大宗商品市场价格在7、8月连续上涨后,9月环比再次上涨2.2%,涨幅较8月份收窄1.4个百分点9月份,经济运行稳中向好态势更加明确,市场需求上升,生产活动加快,供需衔接良好,企业
药品质量管理标准是国家为了保证人们的用药安全而制定的标准,但由于其现行的管理标准不规范,所以造成了药品质量标准管理出现了诸多问题,因此本文对其进行了分析和探讨,并根据其