基于公开密钥认证协议安全性的分析与研究_本科生毕业设计论文.docVIP

题目：基于公开密钥认证协议安全性的分析与研究 基于公开密钥认证协议安全性的分析与研究 摘 要 公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法，并研究了公开密钥认证协议的理论与技术。在此基础上，对公开密钥认证协议进行了运行模式的手工分析。研究成果如下： 系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。 研究了模型检测技术以及公开密钥认证协议运行模式分析法。 给出了运用模型检测工具SMV分析公开密钥认证协议的方法。 研究了公开密钥认证协议，运用运行模式分析法分析公开密钥认证协议的安全性，成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上，研究了公开密钥认证协议的SMV检测程序的框架和数据结构。 关键词：公开密钥认证协议，模型检测协议分析，形式方法， 运行模式分析法， SMV Abstract Analysis 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 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 checking 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 TW 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 绪论 1 1.1本课题的开发背景以及开发意义 1 1.2国内外研究现状 1 1.3本课题研究的主要内容 2 2 公开密钥认证协议 1 1.1公开密钥认证协议的基本概念 1 1.2公开密钥认证协议分类 2 1.3公开密钥认证协议的安全性及其设计规范 2 1.3.1公开密钥认证协议的安全性分析及攻击 3 1.3.2安全协议设计规范 4 1.4公开密钥认证协议模型检测分析技术的研究与进展 6 1.5论文安排与研究成果 7 1.5.1论文安排 8 1.5.2主要研究成果 8 3 模型检测技术及运行模式分析法研究 9 3.1引言 9 3.2模型检测技术分析公开密钥认证协议的基本理论 9 3.2.1模型检测技术分析公开密钥认证协议的理论研究 9 3.2.2模型检测技术的现状及存在的问题12 3.3两方公开密钥认证协议运行模式分析法13 3.3.1两方公开密钥认证协议运行模式分析法简介13 3.3.2对两方公开密钥认证协议运行模式的研究15 3.4小结16 4 模型检测工具SMV 17 4.1 引言17 4.2 SMV语言语法及CTL表达式18