資源描述：
《安全協(xié)議結(jié)構(gòu)及其范式研究》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、西南交通大學(xué)博士學(xué)位論文安全協(xié)議結(jié)構(gòu)及其范式研究姓名：陶宏才申請學(xué)位級別：博士專業(yè)：交通信息工程及控制指導(dǎo)教師：何大可20070801第Ⅱ頁西南交通大學(xué)博士研究生學(xué)位論文應(yīng)具備的狀態(tài)參數(shù)和信念參數(shù)，提出了一種基于狀態(tài)綁定和信念綁定的安全協(xié)議消息塊設(shè)計方法。該方法針對安全協(xié)議各個層次可能存在的缺陷，以及設(shè)計中容易忽視的信念，分別通過狀態(tài)綁定和信念綁定來解決這些缺陷，可較大限度地提高安全協(xié)議抗攻擊的能力。最后，在上述成果的基礎(chǔ)上，提出了安全協(xié)議范式與規(guī)范化思想。定義了4種安全協(xié)議范式，說明各范式之間的包含關(guān)系，并通過示例說
2、明了非范式協(xié)議如何逐步向各級別范式轉(zhuǎn)換的過程，總結(jié)歸納了協(xié)議規(guī)范化的基本步驟。利用協(xié)議范式，不僅有助于判定安全協(xié)議抗攻擊的級別，還可以分析和改造已有協(xié)議，使其達(dá)到一定的范式級別，從而提高其抗攻擊能力。關(guān)鍵詞：安全協(xié)議；抗攻擊；時序模式；攻擊層次；狀態(tài)與信念綁定；協(xié)議范式西南交通大學(xué)博士研究生學(xué)位論文第m頁AbstractWiththepopularizationofInternctandthedevelopmentofvariousapplicationslikeelectronicbusinessonInternet
3、,peoplepaymoreattentionstothesecurityofsuchnetworkapplications．Thesecurityoftheseapplicationsdependsonthesecurityofthecryptographicprotocols(orsecurityprotocols)meyemploy,butthesecurityprotocolslackofsecuritywillsuffervariousattacksfromintruders011opendistribute
4、denvironment．Therefore,researchesonattack-resistantsoenrityprotocolsalesignificantandworthyforthepopularizationofnetworkbusinessatpresentandinfuture,theaccelerationofnationale虻nomicaandthedevelopmentofsociety．Aimingatdcsigningofattack-resistantsecurityprotocols，
5、thedissertationresearchessuchtopicsasthesequencopatternsoftheauthenticationprotocols，thesequenceflawsofYahalomprotocolanditsvariants，hicrachicaltaxonomyofreplayattacks，abuildingapproachformessageblocksofsecurityprotocolbasedonstatebindingandbeliefbinding,andnorm
6、alformsandnormalizationofsecurityprotocols．Firstly,fromtheviewpointofprotocolsequence，thedissertationanalyzesthesequencepatternscoveringalmostallauthenticationprotocolswithandwithoutthetrustedthirdparty(1TP)atpresent．Twelvefeasiblesequencepatternsofauthenticatio
7、nprotocolwithrrPand5sequencepatternswithout1vrParegained．ThesegainedsequencepatternsmeetsuchrequirementsasauthenticationandhJlgheffectivity．Bycomparingwiththesequencesofcurrentauthenticationprotocols．theanalysisresultsarcproventosomeextent．Inaddition,alloftheseq
8、uencepatternsareclassifledintounilateralorbilateralauthentication．Furthermore，intermsofthesequencesymmetry,thesequencepatternswithTTParebrieflyevaluated．Secondly,thed
