41题目：基于公开密钥认证协议安全性的分析与研究第一章绪论--第一章绪论基于公开密钥认证协议安全性的分析与研究摘要公开密钥认证协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术和基于模型检测技术的运行模式分析法，并研究了公开密钥认证协议的理论与技术。在此基础上，对公开密钥认证协议进行了运行模式的手工分析。研究成果如下：系统介绍了公开密钥认证协议的基本概念及安全性分析的重要意义、研究进展和现状。研究了模型检测技术以及公开密钥认证协议运行模式分析法。给出了运用模型检测工具SMV分析公开密钥认证协议的方法。研究了公开密钥认证协议，运用运行模式分析法分析公开密钥认证协议的安全性，成功地发现了该协议的安全漏洞。并在学习了SMV模型检测工具的基础上，研究了公开密钥认证协议的SMV检测程序的框架和数据结构。关键词：公开密钥认证协议，模型检测协议分析，形式方法，运行模式分析法，SMVAbstractAnalysisofsecurityprotocolshasasignificancetopromotetheinformationconstructionandtheresearchofthenetworkandtheinformationsecurityinourcountry.Thisdissertationfocusesonthetheoryandthetechniqueofthemodelcheckingofthesecurityprotocols.Followingarethemainresultsofthisthesis:Introducethebasicconception,thesignificance,theevolvementandthestateofthecryptographicprotocolsanalysis.Studythemethodsofmodelcheckingandrunningmodes.GivethemethodofmodelcheckingbyusingthesofewareofSymbolicModelVerifiertoanalysisprotocol.Designtheprotocol,Usetherunning-modeanalysisapproachbasedonthetwo-partycryptographicprotocolstoanalyzetheprotocol,anddesignaSMVprogramtochecktheTWprotocol.InthebasisoftheSMVprogramofprotocol,DesignthegeneralprogramofSMVtocheckthetwo-partyprotocol.Keywords:CryptographicprotocolModel,checkingprotocolanalysis,Formalmethods，Running-mode,analysisapproach，SMV目录HYPERLINK\l"_Toc93201015"中文摘要ⅠHYPERLINK\l"_Toc93201015"英文摘要...ⅡHYPERLINK\l"_Toc264981487"1绪论PAGEREF_Toc264981487\h1HYPERLINK\l"_Toc264981488"1.1本课题的开发背景以及开发意义...............................PAGEREF_Toc264981488\h1HYPERLINK\l"_Toc264981489"1.2国内外研究现状.............................................PAGEREF_Toc264981489\h1HYPERLINK\l"_Toc264981490"1.3本课题研究的主要内容PAGEREF_Toc264981490\h2TOC\o"1-3"\h\zHYPERLINK\l"_Toc138547048"2公开密钥认证协议PAGEREF_Toc138547048\h1HYPERLINK\l"_Toc138547049"1.1公开密钥认证协议的基本概念.................................PAGEREF_Toc138547049\h1HYPERLINK\l"_Toc138547050"1.