串空間模型及其認(rèn)證測試方法的擴(kuò)展與應(yīng)用.pdf

1、蘇州大學(xué)碩士學(xué)位論文串空間模型及其認(rèn)證測試方法的擴(kuò)展與應(yīng)用姓名：方燕萍申請學(xué)位級別：碩士專業(yè)：計算機(jī)軟件與理論指導(dǎo)教師：張廣泉20090501AbstractSecurityprotocolprovidingsecurityservicesistheinfrastructureofnetworksecurityWiththerapiddevelopmentofnetwork，moreandmorecryptographictechniq

2、uesaleappliedtosecurityprotocolsinordertoguaranteedifferentlevelsofnetworksecurityHoweverdifferentkindsofattackingtechniquesalsoappearceaselesslywhichbringforwardmuchhigherrequirementoftheanalysisofsecurityprotocolsForma

3、lmethodisaveryeffectiveinstrumenttoanalyzesecurityprotocolsTheappearanceofstrandspacemodelandrelatedtheoriespromotetheresearchofformalanalysisofsecurityprotocolsHowevertheoriginalstrandspacemodelanditsauthenticationmetho

4、dhavesomedrawbackswhenanalyzingsomesecurityprotocolsTherefore，thisthesisextendsthismodelanditsmethodaccordingtothecomplexsecurityprotocolsbasedonrichcryptographicprimitivesandthesecurityprotocolbasedonguessingattacksAsth

5、eoriginalstrandspacemodelonlyconsiderpoorcryptographicprimitives，andthuscannotdescribeandanalyzesomecryptographicprimitivesinsecurityprotocolssuchashashfunctionandsignoperationSOitisnecessarytoextendthestrandspacemodelSi

6、nceauthenticationtestiSbasedonthestrandspacemodel，somedeficienciesinthestrandspacemodelalsoexistinauthenticationtestThus，thisthesispresentsanextendedauthenticationtestmethodbasedonrichcryptographicprimitivesTheextendedmo

7、delandmethodCanbetterdescribeandanalyzethesecurityofprotocols，andappliedinmoreentensivefieldsWhenanalyzingguessingattacksofsecurityprotocols，itneedstotaketheproblemofimperfectcryptographicsystemintoaccountHowever，theorig

8、inalauthenticationtestmethodassumesthatthecryptographicsystemisperfectandrelysonthreebasichypotheses，SOitCanhardlyfindtheguessingattacksexistinginsecurityprotocolsThisthesisproposesanextendedauthenticationtestmethodbased