基于eCash的电子商务交易协议研究

《基于eCash的电子商务交易协议研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、大连理丁=大学博士学位论文4．在RSA可转换不可否认签名方案的基础上，提出了交互确认协议——ICSP协议，并证明该协议安全、有效。同时，利用扩展CEMBS算法和ICSP交互确认协议，基于Brands电子现金方案，设计并提出了离线可信第三方匿名原子e．Cash交易协议。对所设计协议的原子性、匿名性、终止性、不可否认性、安全有效性进行了分析证明，并与同类典型协议在效率、存贮量、交易时限和终止性等方面进行比较，证明了设计协议的高效性。5．基于SVO逻辑，提出了一种验证电子商务交易协议的新形式化逻辑验证方法。通过对两个经典的电子商务

2、交易协议的实例分析，发现了SVO逻辑在分析电子商务交易协议中存在的局限与不足。通过引入交易协议的动态性概念，对原有SVO逻辑分析框架进行扩展，提出了一种更适合于分析电子商务交易协议的新形式化逻辑验证方法。新方法对于协议的分析具有不需人为引入初始化假设，仅依赖协议的运行环境的特点，是一个更为严密的形式化分析方法：嗣时，新方法不仅可以静态验证协议的不可否认性，还能够动态验证协议的原子性。并利用新方法对多个经典电子商务协议进行实例分析，验证了新方法的正确性、有效性。同时，使用新方法对本文所设计的e—Cash交易协议的原子性和不可否

3、认性进行了验证。关键词：e—Cash；原子性；匿名性；不可否认性；交易协议：形式化逻辑验证AbstractWiththedevelopmentofnetworktechnologies，globalintegrationandnetworkconnectionshavebecomett．nirresistibletrend．ElectronicconnnerceisregardedasallimportantsymbolforInteractandinformationtechnologies，whichisalandmar

4、kofhistoricalprogressed．Moreover,e—Cashisvitalpaymentmeansinelectroniccommerce．E—Cashispopularforsecurity，reliabilityandanonymity．Fromthepointofviewofprotectionparticipants’interestsinatransaction，thisdissertationisdevotedtotheconflictsbetweenanonymityandatomicityo

5、fe-Cashtransactionprotocols．Somemodels，algorithmsandverificationmethodforeoCashtransactionprotocolsareincludedinthepaper．Themailworksofthepapercarlbesummarizedasfollows：1．Accordingtothecharacteristicsofe—Cash，thepropertiesofprotectionparticipants’interestsrequiredf

6、ore-Cashtransactionprotocolissummarized．Meanwhile，thearchitectureofsecuringfore—Cashprotocolsisanalysized．Thelayofthee-Cashprotocolisdefinedinthearchitecture．2．Theresearchofsecuretechniquesinthebottomofthearchitectureincludestwoparts：(1)Implementationofaccesscontro

7、lsystembasedonIPChainsofLinux．AnewmethodisintroducedtoimplementuseraccesscontrolbasedonIPChains．Thecombinationof“Challenge-Response’’authenticationanddynamicaddingaccessrulesaccordingtouserisadoptedtoimplementuseraccesscontr01．Themethodcaneffectivelysolvetheexistin

8、gdefectsofuseraccesscontrolintraditionalPacketFilteringFirewallandfeaturestransparencyandconsistency．Itishighefficiencyaccesscontrolsystemoffirew