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

1、東南大學博士學位論文不可否認協(xié)議及其形式化分析姓名：黎波濤申請學位級別：博士專業(yè)：計算機應用技術指導教師：羅軍舟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訓1ctbetween驢chronousmethod，whichwillbringextmcost‰

6、protocol，andasynchronousmethod，whlchwlll1ncreaseprotocol’srelianceonTTEisthemostimponantproblemintheresearchottlmelinessprope時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