不可否认协议及其形式化分析

《不可否认协议及其形式化分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、东南大学博士学位论文不可否认协议及其形式化分析姓名：黎波涛申请学位级别：博士专业：计算机应用技术指导教师：罗军舟20050901ABSTRACTNon。repudiationprotocoIscancol】ectnon—repudiationevidenceforentjtiesinacommunication．Inrecentyears，theexplosionofIntemetandtheapplicationsonithavedriventhedevelopmentofnon。repudiationprotocolsgreatly．HoweVer，therearestillmanypr

2、oblemstoberesolvedand，thereisstillno印plicableprotoc01．J1melinessandrelianceontheT’mstedThirdPan)，areMoimponantpr叩eniesofnon—repudiationprotocol·Althoughtl】et、^，opropertiescallhaVebiga行ectonprotocol’sfaimessandperforrnance，theVarenotstudledenough．Likeotherno锄al￡9ptographicprotocoIs，non．repudiationpr

3、otocolsneedto咖aJanalysls·Inmostofthecurrentresearches，analysesonnon．repudiationprotocolsareon】vfocusedontheirfaimess，withli仕lee行ortonotherproperties，suchastimeliness．Thisleadstosomeflawedprotocolsbeingviewedasf．air．。IhepurposeofthedissertationisMoresolVeMoqueStionsnefirStishowtimelinesscanbeDrovide

4、dandhowrelianceonTTPcanbereducedinnon-r印udiationprotocols．ThesecondishowsomesDecialpropertlesotnon。repudlatlonprotocolscanbedescribedandanalyzedinthefomalanalvsis．Jhec训1ctbetween驴chronousmethod，whichwillbringextmcost‰protocol，andasynchronousmethod，whlchwlll1ncreaseprotocol’srelianceon．TTEisthemosti

5、mponantproblemintheresearchottlmelinessprope时·Inthedissertatjon，anewtimelinessprovidingtechnique，whichisbasedontheconceptottlmespan，waspresented．Themethod，withoutanyneedofclocksynchronizatjonmechanlsm，canproVldefIaimessandt岫eliness，improvee伍ciencyofprotocols，andreducerelianceon1]’P·Theleastreliance

6、ofdi疗’erentprotocolsonTTPwerestudiedandprovedandnewmethodswasdeslgnedtoreduceprotocol’srelianceonTTP．Astheproductionoftheresearchesabove．aettlclentnon—repudlatlonprotocolwasdesignedand，reliableandwithlittlerelianceonTTPwasdeslgnedandimplemented．Thefornlalanalysisandits印plicationine．mailsystemproved

7、thatitwasfairandefficient．．1nthe7esearchonfomlaIanalysis，propenjesofSVOlogicandapplicationsofSVOlogicinnon’repudlatlonwereStudjed．TheSVO】ogicwasextendedslightlyand，thenusedtoanalvzeseveralprotoc01s·ThePetri