《基于公开密钥认证协议安全的分析与研究本科4966383》由会员分享，可在线阅读，更多相关《基于公开密钥认证协议安全的分析与研究本科4966383（55页珍藏版）》请在金锄头文库上搜索。
1、题目：基于公开密钥认证合同安全性的分析与研究 毕业设计（论文）原创性声明和使用授权阐明原创性声明本人郑重承诺：所呈交的毕业设计（论文），是我个人在指引教师的指引下进行的研究工作及获得的成果。尽我所知，除文中特别加以标注和道谢的地方外，不涉及其她人或组织已经刊登或发布过的研究成果，也不涉及我为获得 及其他教育机构的学位或学历而使用过的材料。对本研究提供过协助和做出过奉献的个人或集体，均已在文中作了明确的阐明并表达了谢意。作 者 签 名： 日 期： 指引教师签名： 日期： 使用授权阐明本人完全理解 大学有关收集、保存、使用毕业设计（论文）的规定，即：按照学校规定提交毕业设计（论文）的印刷本和电子版
2、本；学校有权保存毕业设计（论文）的印刷本和电子版，并提供目录检索与阅览服务；学校可以采用影印、缩印、数字化或其他复制手段保存论文；在不以获利为目的前提下，学校可以发布论文的部分或所有内容。作者签名： 日 期： 学位论文原创性声明本人郑重声明：所呈交的论文是本人在导师的指引下独立进行研究所获得的研究成果。除了文中特别加以标注引用的内容外，本论文不涉及任何其她个人或集体已经刊登或撰写的成果作品。对本文的研究做出重要奉献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承当。作者签名： 日期： 年 月 日学位论文版权使用授权书本学位论文作者完全理解学校有关保存、使用学位论文
3、的规定，批准学校保存并向国家有关部门或机构送交论文的复印件和电子版，容许论文被查阅和借阅。本人授权 大学可以将本学位论文的所有或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。涉密论文按学校规定解决。作者签名：日期： 年 月 日导师签名： 日期： 年 月 日注 意 事 项1.设计（论文）的内容涉及：1）封面（按教务处制定的原则封面格式制作）2）原创性声明3）中文摘要（300字左右）、核心词4）外文摘要、核心词 5）目次页（附件不统一编入）6）论文主体部分：引言（或绪论）、正文、结论7）参照文献8）道谢9）附录（对论文支持必要时）2.论文字数规定：理工类设
4、计（论文）正文字数不少于1万字（不涉及图纸、程序清单等），文科类论文正文字数不少于1.2万字。3.附件涉及：任务书、开题报告、外文译文、译文原文（复印件）。4.文字、图表规定：1）文字通顺，语言流畅，书写笔迹工整，打印字体及大小符合规定，无错别字，不准请她人代写2）工程设计类题目的图纸，规定部分用尺规绘制，部分用计算机绘制，所有图纸应符合国家技术原则规范。图表整洁，布局合理，文字注释必须使用工程字书写，不准用徒手画3）毕业论文须用A4单面打印，论文50页以上的双面打印4）图表应绘制于无格子的页面上5）软件工程类课题应有程序清单，并提供电子文档5.装订顺序1）设计（论文）2）附件：按照任务书、开
5、题报告、外文译文、译文原文（复印件）顺序装订3）其他基于公开密钥认证合同安全性的分析与研究摘 要 公开密钥认证合同安全性分析与研究对于增进国内信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文重要研究运用模型检测技术和基于模型检测技术的运营模式分析法，并研究了公开密钥认证合同的理论与技术。在此基本上，对公开密钥认证合同进行了运营模式的手工分析。研究成果如下： 系统简介了公开密钥认证合同的基本概念及安全性分析的重要意义、研究进展和现状。 研究了模型检测技术以及公开密钥认证合同运营模式分析法。 给出了运用模型检测工具SMV分析公开密钥认证合同的措施。 研究了公开密钥认证合同，运用运营模式
6、分析法分析公开密钥认证合同的安全性，成功地发现了该合同的安全漏洞。并在学习了SMV模型检测工具的基本上，研究了公开密钥认证合同的SMV检测程序的框架和数据构造。 核心词：公开密钥认证合同，模型检测合同分析，形式措施，运营模式分析法， SMVAbstractAnalysis of security protocols has a significance to promote the information construction and the research of the network and the information security in our country. This
7、dissertation focuses on the theory and the technique of the model checking of the security protocols. Following are the main results of this thesis: Introduce the basic conception, the significance, the evolvement and the state of the cryptographic protocols analysis. Study the methods of model chec
8、king and running modes. Give the method of model checking by using the sofeware of Symbolic Model Verifier to analysis protocol. Design the protocol, Use the running-mode analysis approach based on the two-party cryptographic protocols to analyze the protocol, and design a SMV program to check the T
9、W protocol. In the basis of the SMV program of protocol, Design the general program of SMV to check the two-party protocol.Keywords: Cryptographic protocolModel, checkingprotocol analysis, Formal methods，Running-mode, analysis approach， SMV目录中文摘要英文摘要.1 绪论11.1本课题的开发背景以及开发意义.11.2国内外研究现状.1 1.3本课题研究的重要内
10、容22 公开密钥认证合同11.1公开密钥认证合同的基本概念.11.2公开密钥认证合同分类.21.3公开密钥认证合同的安全性及其设计规范.21.3.1公开密钥认证合同的安全性分析及袭击31.3.2安全合同设计规范41.4公开密钥认证合同模型检测分析技术的研究与进展.61.5论文安排与研究成果.71.5.1论文安排81.5.2重要研究成果83 模型检测技术及运营模式分析法研究93.1引言.93.2模型检测技术分析公开密钥认证合同的基本理论.93.2.1模型检测技术分析公开密钥认证合同的理论研究93.2.2模型检测技术的现状及存在的问题.123.3两方公开密钥认证合同运营模式分析法.133.3.1两
11、方公开密钥认证合同运营模式分析法简介.133.3.2对两方公开密钥认证合同运营模式的研究.153.4小结.16 4 模型检测工具SMV174.1 引言.174.2 SMV语言语法及CTL体现式.184.2.1 SMV语言语法184.2.2时态逻辑CTL204.3 SMV实例.215 运营模式及SMV分析公开密钥认证合同实例研究245.1 引言.245.2 公开密钥认证合同.245.3运用模式法分析公开密钥认证合同.255.4 公开密钥认证合同安全性检测的SMV程序分析.295.4.1公开密钥认证合同的消息的定义295.4.2 公开密钥认证合同的有限状态305.4.3 公开密钥认证合同的SMV程
12、序的数据构造315.4.4 公开密钥认证合同的主模块框架和有限状态属性335.4.5 公开密钥认证合同的安全性分析355.5小结.36 6总 结37参照文献38道谢39毕业设计（论文）知识产权声明40毕业设计（论文）独立性声明41英文翻译41译文原文481 绪 论本章重要系统地简介了公开密钥认证合同的基本概念和公开密钥认证合同的分类，讨论了公开密钥认证合同的安全性及其设计规范，概述了公开密钥认证合同模型检测技术分析公开密钥认证合同安全性措施的重要意义、研究进展和现状。最后列举了本文的重要研究工作，给出了本文的内容安排。1.1本课题研究的背景、目的及意义现代社会计算机和互联网技术正在不断的变化着人类社会的面貌，随着计算机和网络技术的不断发展，与之随着而来的是信息和网络的安全问题。网络作为现代信息传递的一种重要载体，其安全性是整个信息基本架构的安全基本，而网络的
