【摘 要】
:
随着信息技术的快速发展和广泛应用,诸如电子商务这类需要高度安全性的应用逐渐普及,建立安全信道的重要性可想而知。在网络这个特殊的大环境里,两个互相不认识的主体如果想
论文部分内容阅读
随着信息技术的快速发展和广泛应用,诸如电子商务这类需要高度安全性的应用逐渐普及,建立安全信道的重要性可想而知。在网络这个特殊的大环境里,两个互相不认识的主体如果想要达成某种通信目的,必须要在密码技术保障的前提下进行。虽然现阶段对密码协议的分析方法的研究已经有了很多观点,但是还没有一种被广泛认同的可以作为工业标准的方法,所以对于密码协议的形式化分析方法仍然是一个开放性的热点问题,而且具有重要的理论意义。本文首先介绍了密码学领域的一些基本概念,密码协议的分类,以及在密码协议中需要用到的一些重要的密码学技术:保密性,数据完整性,抗抵赖性以及消息认证性。为了使得分析方法的设计更加具有针对性,本文假设所讨论的协议都是在底层密码技术安全的前提下进行的;然后,本文通过分析密码协议形式化方法的主流观点,总结出这些观点存在的缺陷。接着通过对一些经典的攻击方式的分析,引出本文的主题,即对密码协议安全性分析的形式化方法,提出这套方法的依据在于Bellare和Rogaway对于密码协议安全的公式化定义,以及作者在学习过程中总结出的一些密码协议的设计原则。这个形式化方法分为五个模块,首先对协议进行前四个模块的检验,然后在第五个模块中对协议进行安全性证明。本文通过对大量相关文献的研究,深深的体会到对于密码协议安全性证明的困难性。所以本文所采用的证明方式基于不同于传统密码学证明的逻辑方式,并不是将攻击者攻破协议的行为归约到攻破数学难题上,而是归约到对已知假设的否定上,每个步骤在逻辑上都严密合理。接下来利用这套方法对一些工业协议例如SSH,Kerberos以及STS协议进行分析;最后,对密码协议的研究做出总结和展望。
其他文献
该文基于微分几何理论,在建立三相电压型PWM整流器仿射非线性模型基础上,提出其状态反馈精确线性化非线性控制策略,实现了三相电压型PWM整流器无功功率和有功功率的解耦控制
随着中国经济30年的高速发展,家居建材市场如雨后春笋般地在中国的各个城市蓬勃发展起来。东方家园源于民营资本,通过10年的努力和发展,成为了中国本土最大的家居建材连锁企
地震后不久,俄罗斯政府邀请中国地震灾区的中小学生赴俄疗养。7月16日,胡锦涛总书记在中南海看望了将赴俄罗斯疗养的学生代表。此次赴俄疗养对他们的心理康复将起到积极作用
光正交频分复用(OOFDM)技术是近年来出现的一种新型光传输技术,它是正交频分复用技术和光纤通信技术相结合的产物,拥有两者的所有优点。利用在光纤信道中传输OFDM信号可以大
随着信息化进程的加快,人们对身份认证的要求越来越高。而生物识别认证因为其稳定性、可靠性、准确性,得到越来越多的人的重视。指纹识别技术作为最早应用的生物识别认证技术
<正>现有的师徒制教育模式能让师生之间,师徒之间彼此得到充分的理解,从而让导师对学生,师傅对学徒的能力培养和教育更具针对性以及倾向性,与因材施教的原则十分贴切,同时也
<正>本选题以"公共艺术数字化后在城市中的交互研究"为目标,对基于数字化手段表现的公共艺术进行探讨,寻求城市公共艺术的交互特征。首先指出了数字化公共艺术交互特点的研究
<正>工程文件是建设的依据和工具,档案是建设的历史记录和副产成果,它们无论对建设单位本身还是对运营单位都起着特有的作用,有着特殊的价值。大亚湾核电站工程文件管理充分
<正>跨界,源于文艺复兴时期,指多学科之间的相互交融。其后,出现"Crossover"这一概念,来形容不同领域事物的相互交融与合作。最后,随着跨界这一概念的不断发展,逐渐被越来越
古代雅典民主政治在世界历史上不具有普遍性。其民众直接参与性、政治权力平等性和分散性特征,与世界古代其他地区普遍存在的君主制和共和制比较是特殊的;与近现代西方以代议