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

ID:844702

大小:352.52 KB

页数:40页

时间:2017-09-19

基于公开密钥认证协议安全性的分析与研究本科毕业论文_第1页
基于公开密钥认证协议安全性的分析与研究本科毕业论文_第2页
基于公开密钥认证协议安全性的分析与研究本科毕业论文_第3页
基于公开密钥认证协议安全性的分析与研究本科毕业论文_第4页
基于公开密钥认证协议安全性的分析与研究本科毕业论文_第5页
资源描述:

《基于公开密钥认证协议安全性的分析与研究本科毕业论文》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、题目:基于公开密钥认证协议安全性的分析与研究基于公开密钥认证协议安全性的分析与研究摘要公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法,并研究了公开密钥认证协议的理论与技术。在此基础上,对公开密钥认证协议进行了运行模式的手工分析。研究成果如下:²系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。²研究了模型检测技术以及公开密钥认证协议运行模式分析法。²给出了运用模型检测工具SMV分析公开密钥认证协议的方法。²研究了公开密钥认证协议,运用运行模式分析

2、法分析公开密钥认证协议的安全性,成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上,研究了公开密钥认证协议的SMV检测程序的框架和数据结构。关键词:公开密钥认证协议,模型检测协议分析,形式方法,运行模式分析法,SMV-25-AbstractAnalysisofsecurityprotocolshasasignificancetopromotetheinformationconstructionandtheresearchofthenetworkandtheinformationsecurityinourcountry.Thisdissertationfocusesont

3、hetheoryandthetechniqueofthemodelcheckingofthesecurityprotocols.Followingarethemainresultsofthisthesis:²Introducethebasicconception,thesignificance,theevolvementandthestateofthecryptographicprotocolsanalysis.²Studythemethodsofmodelcheckingandrunningmodes.²Givethemethodofmodelcheckingbyusingtheso

4、fewareofSymbolicModelVerifiertoanalysisprotocol.²Designtheprotocol,Usetherunning-modeanalysisapproachbasedonthetwo-partycryptographicprotocolstoanalyzetheprotocol,anddesignaSMVprogramtochecktheTWprotocol.²InthebasisoftheSMVprogramofprotocol,DesignthegeneralprogramofSMVtocheckthetwo-partyprotocol

5、.²Keywords:CryptographicprotocolModel,checkingprotocolanalysis,Formalmethods,Running-mode,analysisapproach,SMV-25-目录中文摘要Ⅰ英文摘要...Ⅱ1绪论11.1本课题的开发背景以及开发意义...............................11.2国内外研究现状.............................................11.3本课题研究的主要内容22公开密钥认证协议11.1公开密钥认证协议的基本概念..................

6、...............11.2公开密钥认证协议分类.......................................21.3公开密钥认证协议的安全性及其设计规范.......................21.3.1公开密钥认证协议的安全性分析及攻击31.3.2安全协议设计规范41.4公开密钥认证协议模型检测分析技术的研究与进展...............61.5论文安排与研究成果.........................................71.5.1论文安排81.5.2主要研究成果83模型检测技术及运行模式分析法研究93.1引言.....

7、..................................................93.2模型检测技术分析公开密钥认证协议的基本理论.................93.2.1模型检测技术分析公开密钥认证协议的理论研究93.2.2模型检测技术的现状及存在的问题.......................123.3两方公开密钥认证协议运行模式分析法........................133.3.1两方公开密钥认证

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
正文描述:

《基于公开密钥认证协议安全性的分析与研究本科毕业论文》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、题目:基于公开密钥认证协议安全性的分析与研究基于公开密钥认证协议安全性的分析与研究摘要公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法,并研究了公开密钥认证协议的理论与技术。在此基础上,对公开密钥认证协议进行了运行模式的手工分析。研究成果如下:²系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。²研究了模型检测技术以及公开密钥认证协议运行模式分析法。²给出了运用模型检测工具SMV分析公开密钥认证协议的方法。²研究了公开密钥认证协议,运用运行模式分析

2、法分析公开密钥认证协议的安全性,成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上,研究了公开密钥认证协议的SMV检测程序的框架和数据结构。关键词:公开密钥认证协议,模型检测协议分析,形式方法,运行模式分析法,SMV-25-AbstractAnalysisofsecurityprotocolshasasignificancetopromotetheinformationconstructionandtheresearchofthenetworkandtheinformationsecurityinourcountry.Thisdissertationfocusesont

3、hetheoryandthetechniqueofthemodelcheckingofthesecurityprotocols.Followingarethemainresultsofthisthesis:²Introducethebasicconception,thesignificance,theevolvementandthestateofthecryptographicprotocolsanalysis.²Studythemethodsofmodelcheckingandrunningmodes.²Givethemethodofmodelcheckingbyusingtheso

4、fewareofSymbolicModelVerifiertoanalysisprotocol.²Designtheprotocol,Usetherunning-modeanalysisapproachbasedonthetwo-partycryptographicprotocolstoanalyzetheprotocol,anddesignaSMVprogramtochecktheTWprotocol.²InthebasisoftheSMVprogramofprotocol,DesignthegeneralprogramofSMVtocheckthetwo-partyprotocol

5、.²Keywords:CryptographicprotocolModel,checkingprotocolanalysis,Formalmethods,Running-mode,analysisapproach,SMV-25-目录中文摘要Ⅰ英文摘要...Ⅱ1绪论11.1本课题的开发背景以及开发意义...............................11.2国内外研究现状.............................................11.3本课题研究的主要内容22公开密钥认证协议11.1公开密钥认证协议的基本概念..................

6、...............11.2公开密钥认证协议分类.......................................21.3公开密钥认证协议的安全性及其设计规范.......................21.3.1公开密钥认证协议的安全性分析及攻击31.3.2安全协议设计规范41.4公开密钥认证协议模型检测分析技术的研究与进展...............61.5论文安排与研究成果.........................................71.5.1论文安排81.5.2主要研究成果83模型检测技术及运行模式分析法研究93.1引言.....

7、..................................................93.2模型检测技术分析公开密钥认证协议的基本理论.................93.2.1模型检测技术分析公开密钥认证协议的理论研究93.2.2模型检测技术的现状及存在的问题.......................123.3两方公开密钥认证协议运行模式分析法........................133.3.1两方公开密钥认证

显示全部收起
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。
关闭