欢迎来到天天文库
浏览记录
ID:36346926
大小:4.76 MB
页数:122页
时间:2019-05-09
《不可否认协议及其形式化分析》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
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
此文档下载收益归作者所有