基于Petri网和有穷自动机形式化分析方法的电子商务协议研究与实现

《基于Petri网和有穷自动机形式化分析方法的电子商务协议研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、武汉大学博士学位论文基于Petri网和有穷自动机形式化分析方法的电子商务协议研究与实现姓名：谢晓尧申请学位级别：博士专业：计算机应用技术指导教师：张焕国20040430萋于Petri弼和有穷鸯动优橇移式托分辑方法的电子商务协议研究与实现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