- 2
- 0
- 约3.51万字
- 约 40页
- 2018-05-08 发布于河北
- 举报
基于公开密钥认证协议安全性的分析与研究本科毕业论文 经典
题目:基于公开密钥认证协议安全性的分析与研究
基于公开密钥认证协议安全性的分析与研究
摘 要
公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法,并研究了公开密钥认证协议的理论与技术。在此基础上,对公开密钥认证协议进行了运行模式的手工分析。研究成果如下:
系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。
研究了模型检测技术以及公开密钥认证协议运行模式分析法。
给出了运用模型检测工具SMV分析公开密钥认证协议的方法。
研究了公开密钥认证协议,运用运行模式分析法分析公开密钥认证协议的安全性,成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上,研究了公开密钥认证协议的SMV检测程序的框架和数据结构。
关键词:公开密钥认证协议,模型检测协议分析,形式方法,
运行模式分析法, SMV
Abstract
Analysis of security protocols has a significance to promote the information construction and the research of the networ
您可能关注的文档
- 基于PIC单片机的红外遥控设计本科毕业设计 推荐.doc
- 基于PID的上水箱液位控制系统设计课程设计 28p.doc
- 基于plc十字路口智能交通灯的设计_毕业设计(论文) p28.doc
- 基于PLC双电源开关设计毕业论文 常州机电职业技术学院.doc
- 基于PLC变频调速恒压供水控制系统的设计毕业论文 洛阳理工学院.doc
- 基于PLC变频调速电梯控制系统的设计与实现本科毕业设计论文 潍坊学院.doc
- 基于PLC和变频器的集中供热换热站节能控制系统设计毕业设计论文 2010年9月20日.doc
- 基于PLC多种液体自动化混合控制系统设计 吉林化工学院.doc
- 基于plc控制的流水灯设计_毕业设计论文 2013年05月25日.doc
- 基于PLC控制的立体停车库设计毕业设计 p25.doc
原创力文档

文档评论(0)