关于密码协议的形式化分析方法的研究-信息与通信工程专业论文.docxVIP

独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工 独创性声明 本人声明所呈交的学位论文是本人在导师指导下进行的研究工 作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地 方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含 为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。 与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明 确的说明并表示谢意。 签名： 力 岔 日期：厶／。年钼胃日 论文使用授权 本学位论文作者完全了解电子科技大学有关保留、使用学位论文 的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁 盘，允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文 的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或 扫描等复制手段保存、汇编学位论文。 (保密的学位论文在解密后应遵守此规定) 签名：丛导师签名： 日期：厶／ ， \ I 摘要摘 摘要 摘 要 随着信息技术的快速发展和广泛应用，诸如电子商务这类需要高度安全性的 应用逐渐普及，建立安全信道的重要性可想而知。在网络这个特殊的大环境里， 两个互相不认识的主体如果想要达成某种通信目的，必须要在密码技术保障的前 提下进行。 虽然现阶段对密码协议的分析方法的研究已经有了很多观点，但是还没有一 种被广泛认同的可以作为工业标准的方法，所以对于密码协议的形式化分析方法 仍然是一个开放性的热点问题，而且具有重要的理论意义。 本文首先介绍了密码学领域的一些基本概念，密码协议的分类，以及在密码 协议中需要用到的一些重要的密码学技术：保密性，数据完整性，抗抵赖性以及 消息认证性。为了使得分析方法的设计更加具有针对性，本文假设所讨论的协议 都是在底层密码技术安全的前提下进行的；然后，本文通过分析密码协议形式化 方法的主流观点，总结出这些观点存在的缺陷。接着通过对一些经典的攻击方式 的分析，引出本文的主题，即对密码协议安全性分析的形式化方法，提出这套方 法的依据在于Bellare和Rogaway对于密码协议安全的公式化定义，以及作者在 学习过程中总结出的一些密码协议的设计原则。这个形式化方法分为五个模块， 首先对协议进行前四个模块的检验，然后在第五个模块中对协议进行安全性证明。 本文通过对大量相关文献的研究，深深的体会到对于密码协议安全性证明的困难 性。所以本文所采用的证明方式基于不同于传统密码学证明的逻辑方式，并不是 将攻击者攻破协议的行为归约到攻破数学难题上，而是归约到对已知假设的否定 上，每个步骤在逻辑上都严密合理。接下来利用这套方法对一些工业协议例如SSH， 一 Kerberos以及STS协议进行分析；最后，对密码协议的研究做出总结和展望。 关键字：密码协议，密码学技术，形式化方法。 一 一 ABSTRACT ABSTRACT ABSTRACT Along with the rapid development and wide application of information technology, the application，Such as E．commerce，becomes more and more popular．So you call imagine how important the information security is．In the network，which is SO special and open．if two participants who don’t know each other want to have communication, the course must be protected by cryptography． There has been many start@oint of the cryptography protocol’S security by now,but none of them has become the standard of the analysis method，SO the research of the formalized method of the cryptography protocol is remain the hot topic． First，this thesis introduces some basic knowledge about cryptography,the sort of the cryptography protocol，and some important cryptography technics：en-decryption， data inte酣ty,digital signatur