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

题目：基于公开密钥认证协议安全性的分析与研究 基于公开密钥认证协议安全性的分析与研究 摘 要 公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法，并研究了公开密钥认证协议的理论与技术。在此基础上，对公开密钥认证协议进行了运行模式的手工分析。研究成果如下： 系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。 研究了模型检测技术以及公开密钥认证协议运行模式分析法。 给出了运用模型检测工具SMV分析公开密钥认证协议的方法。 研究了公开密钥认证协议，运用运行模式分析法分析公开密钥认证协议的安全性，成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上，研究了公开密钥认证协议的SMV检测程序的框架和数据结构。 关键词：公开密钥认证协议，模型检测协议分析，形式方法， 运行模式分析法， SMV Abstract Analysis of security protocols has a significance to promote the information construction and the research of the networ