資源描述：
《基于Petri網(wǎng)和有窮自動機形式化分析方法的電子商務(wù)協(xié)議研究與實現(xiàn)》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學術(shù)論文-天天文庫。
1、武漢大學博士學位論文基于Petri網(wǎng)和有窮自動機形式化分析方法的電子商務(wù)協(xié)議研究與實現(xiàn)姓名：謝曉堯申請學位級別：博士專業(yè)：計算機應用技術(shù)指導教師：張煥國20040430萋于Petri弼和有窮鴦動優(yōu)橇移式托分輯方法的電子商務(wù)協(xié)議研究與實現(xiàn)AbstractWehaveenteredtheageofInteract．Therapiddevelopmentofnetworkbringsgreatrevolutiontooursociety．Theapplicationsofelectroniccommerceandelectronicadmini
2、strationserveagoodexample，Butthiskindofapplicationandtheopennessofnetworkhavecausedtheproblemofinformationsecurity．Informationsecurityhasbecomeacrucialfactorinfluencingstatesecurity,societystabilizationandeconomicdevelopment。Thedesignandapplicationofelectroniccommerceprot
3、ocolrelyingoninformationsecurityisjusttoensurethesecurityofnetworkandinformation．Theprotocoldealswithtwocontents：Thefirstistheselectionofencryptingtechnology,andthesecondisthedesignofprotocollogic．Moreoften，peopleonlyattachimportancetOeneryptingtechnologyandignorethedesig
4、nofprotocollogic，whichmaycausehock’Sattack．Becausetheprotocollogicmaycausealotoftrouble，weneedtouseanalysistoolsofformalizationtodescribeandsimulatetheactionandgoalofprotocol。This’IIensurecorrectnessofelectroniceomlTlerceprotocolthatreliesoninformationsecurity．Thepaperfoc
5、usesontheresearchofformalizationanalyzingmethodofelectroniccommerce，electronicconlBlerccsecurityauthenticationprotocol，transactionprotocolandPKIsecurityauthenticationprotoc01．Andtheauthorhasfinishedthefollowingthings：①Theauthorputsforwardasecurityauthenticationprotocolofe
6、lectroniccommercethatisusedbyadepartmentofbusinessadministration。⑦Theauthorputsforwardt0usePetrinettheorydescribingtheaboveauthenticationprotocolandestablishesaPetrinetmodeloftheprotoc01．Itisaninnovation。Then,theauthorsimulatestheModelandprovestheprotocol’Stroubleandhole，
7、meanwhileamendsit．Finally,theauthorobtainsabetterelectronicconlruercesecurityauthenticationprotoc01．◇Becausetheelectroniccom擻cl'Ceofadepartmentofbusinessadministrationneedstradeafteritfinishestheauthentication,theauthorputsforwardatransactionprotoc01．◇BasedOnthespecialtyo
8、ftransactionprotocol，theauthorputsforwardtoestablishstatemachinemodelofwansactionprotocolt黼i玨gfi
