基于strand空间模型的安全协议分析与设计方法研究

山东大学硕士学位论文基于strand空间模型的安全协议分析与设计方法研究姓名：莫笑丽申请学位级别：硕士专业：计算机应用技术指导教师：史清华20050405基于strand空间模型的安全协议分析与设计方法研究作者：莫笑丽学位授予单位：山东大学参考文献(49条)1.冯登国网络安全技术与应用20022.范红.冯登国安全协议理论与方法20033.JoshuaDGuttman.FJavierThayerFábregaAuthenticationtests20004.JDGuttman.FJThayerFabregaAuthenticationtestsandthestructureofbundles2000(02)5.JDGuttmanKeycompromiseandtheauthenticationtests20016.ThayerJF.HerzogJC.GuttmanJDStrandspaces:Provingsecurityprotocolscorrect19997.ThayerJF.HerzogJC.GuttmanJDStrandspace:Whyisasecurityprotocolcorrect19988.GritzalisS.SpinellisD.GeorgiadisPSecuriyprotocolsoveropennetworksanddistributedsystems:Formalmithodsforheiranalysis,design,anverification1999(08)9.BrackinSAutomaticallydetectingmostvulnerabilitiesincryptographicprotocols200010.WooT.LamSAsemanticmodelforauthenticationprotocols199311.AdrianPerrig.DawnSongAfirststeptowardstheautomaticgenerationofsecurityprotocols200012.DawnSongAthena:anewefficientautomaticcheckerforsecurityprotocolanalysis199913.RNeedham.MSchroederUsingencryptionforauthenticationinlargenetworksofcomputers1978(12)14.GLoweAhierarchyofauthenticationspecifications199715.DSongInsideAthena,[TechnicalReportCMU-CS-99-125,CarnegieMellonUniversity,]199916.APerrig.DXSongLookingfordiamondsinthedesert:Extendingautomaticprotocolgenerationtothree-partyauthenticationandkeyagreementprotocols200017.TYCWoo.SSLamAuthenticationfordistributedsystems1992(01)18.TYCWoo.SSLamAlessononauthenticationprotocoldesign199419.LButtyan.SStaamann.UWilhelmAsimplelogicforauthenticationprotocoldesign199820.DXSongAthena:anewefficientautomatedcheckerforsecurityprotocolanalysis199921.MBellare.PRogawayEntityauthenticationandkeydistribution199322.ThayerJF.HerzogJC.GuttmanJDStrandspacepictures199823.MitchellJC.ShmatikovV.SternUFinite-stateanalysisofSSL3.0199824.AbadiM.NeedhamRPrudentengineeringpracticeforcryptographicprotocols1996(01)25.HopperNJ.SeshiaSA.WingJMCombiningtheorygenerationandmodelcheckingforsecurityprotocolanalysis,[TechnicalReportCMU-CS-00-107,CarnegieMellonUniversity,]200026.王娜.王亚弟安全协议的形式化说明、设计及验证[期刊论文]-计算机应用2003(10)27.范红.冯登国一种混合的安全协议形式化分析技术[期刊论文]-中国科学院研究生院学报2002(3)28.黄连生.王新兵.谢峰.杨克安全协议形式化验证方法的比较与分析[期刊论文]-计算机工程与应用2001(14)29.DDolev.AYaoOnthesecurityofpublickeyprotocols1989(02)30.FJavierThayerFabrega.JonathanCHerzog.JoshuaDGuttmanHonestidealsonstrandSpaces199831.敖青云.范若晗.白英彩Internet安全协议中的密钥交换技术研究[期刊论文]-计算机工程2001(4)32.万艳萍Internet网络的安全协议2001(02)33.冯登国.范红安全协议形式化分析理论与方法研究综述[期刊论文]-中国科学院研究生院学报2003(4)34.卿斯汉安全协议20年研究进展[期刊论文]-软件学报2003(10)35.刘东喜.白英彩基于Strand空间的认证协议证明方法研究[期刊论文]-软件学报2002(7)36.DingYAlazyapproachtoModelCheckingAuthenticationProtocolswithBlackBoxes37.周宏斌.黄连生.桑田基于串空间的安全协议形式化验证模型及算法[期刊论文]-计算机研究与发展2003(2)38.卿斯汉安全协议的设计与逻辑分析[期刊论文]-软件学报2003(7)39.KemmererR.MeadowsC.MillenJThreesystemsforcryptographicprotocolanalysis1994(02)40.杨晋吉.苏开乐电子商务中安全协议的验证方法[期刊论文]-计算机工程与应用2003(19)41.GLoweBreakingandfixingtheNeedham-Schroederpublic-keyprotocolusingFDR199642.MitchellJC.MitchellM.SternUAutomatedanalysisofcryptographicprotocolsusingMurphi199743.ClarkeEM.JhaS.MarreroWUsingstatespaceexplorationandanaturaldeductionstylemessagederivationenginetoverifysecurityprotocols199844.MeadowsCFormalverificationofcryptographicprotocols:Asurvey199645.HeintzeN.TygarJDAmodelforsecureprotocolsandtheircomposition1996(01)46.JDGuttman.FJThayer.LDZuckThefaithfulnessofabstractprotocolanalysis:Messageauthentication200347.BolognesiT.BrinksmaEIntroductiontotheISOspecificationlanguageLOTOS198748.BurrowsM.AbadiM.NeedhamRAlogicofauthentication[ResearchReport39,DigitalSystemsResearchCenter,]198949.ClarkJ.JacobJAsurveyofauthenticationprotocolliterature:Version1.01997本文链接：授权使用：上海海事大学(wflshyxy)，授权号：835c3559-504f-463c-b0da-9e0800d51f65下载时间：2010年10月7日