不可否認(rèn)協(xié)議及其形式化分析.pdf

1、東南大學(xué)博士學(xué)位論文不可否認(rèn)協(xié)議及其形式化分析姓名：黎波濤申請(qǐng)學(xué)位級(jí)別：博士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：羅軍舟20050901ABSTRACTNon。repudiationprotocoIscancol】ectnon—repudiationevidenceforentjtiesinacommunicationInrecentyears，theexplosionofIntemetandtheapplicationsonithavedri

2、venthedevelopmentofnon。repudiationprotocolsgreatlyHoweVer，therearestillmanyproblemstoberesolvedand，thereisstillno印plicableprotoc01J1melinessandrelianceontheT’mstedThirdPan)，areMoimponantpr叩eniesofnon—repudiationprotocolA

3、lthoughtl】et、^，opropertiescallhaVebiga行ectonprotocol’sfaimessandperforrnance，theVarenotstudledenoughLikeotherno鋤al￡9ptographicprotocoIs，nonrepudiationprotocolsneedto咖aJanalyslsInmostofthecurrentresearches，analysesonnonre

4、pudiationprotocolsareon】vfocusedontheirfaimess，withli仕lee行ortonotherproperties，suchastimelinessThisleadstosomeflawedprotocolsbeingviewedasfair。IhepurposeofthedissertationisMoresolVeMoqueStionsnefirStishowtimelinesscanbeD

5、rovidedandhowrelianceonTTPcanbereducedinnonr印udiationprotocolsThesecondishowsomesDecialpropertlesotnon。repudlatlonprotocolscanbedescribedandanalyzedinthefomalanalvsisJhec訓(xùn)1ctbetween驢chronousmethod，whichwillbringextmcost‰

6、protocol，andasynchronousmethod，whlchwlll1ncreaseprotocol’srelianceonTTEisthemostimponantproblemintheresearchottlmelinessprope時(shí)Inthedissertatjon，anewtimelinessprovidingtechnique，whichisbasedontheconceptottlmespan，wasprese

7、ntedThemethod，withoutanyneedofclocksynchronizatjonmechanlsm，canproVldefIaimessandt岫eliness，improvee伍ciencyofprotocols，andreducerelianceon1]’PTheleastrelianceofdi療’erentprotocolsonTTPwerestudiedandprovedandnewmethodswasde

8、slgnedtoreduceprotocol’srelianceonTTPAstheproductionoftheresearchesaboveaettlclentnon—repudlatlonprotocolwasdesignedand，reliableandwithlittlerelianceonTTPwasdeslgnedandimplementedThefornlalanalysisandits印plicationinemail

9、systemprovedthatitwasfairandefficient1nthe7esearchonfomlaIanalysis，propenjesofSVOlogicandapplicationsofSVOlogicinnon’repudlatlonwereStudjedTheSVO】ogicwasextendedslightlyand，thenusedtoanalvzeseveralprotoc01sThePetrinetswa

10、sthen印pliedtotheanalysisofnonrepudiationprotocolsandasystemicanaJyslsapproachfornon。repudiationprotocolswasdesignedforthefirsttimeAtthelastbvIntegratlngtheMoanalysisapproachesaboVe，aautomatedPetrinetSmodelingapproachwaSd

11、esignedtornon。repudlatlonprotocolsInthemodeling印proach，accordingtotheprotoc01descriptjon‘echnlqueandsemanticsmodelofSVO，anon—r印udiationprotocoldescriptionlanguageNDL，whichwasVe呵slmpIeandeasytouse，waspresentedAsetofrulesw