导读:本文包含了协议原子性论文开题报告文献综述及选题提纲参考文献，主要关键词:ECDH,电子支付,原子性,数字交易
协议原子性论文文献综述
周辉,张向利,张红梅[1]（2014）在《基于ECDH密钥交换算法的电子商务协议原子性设计》一文中研究指出针对数字交易中商家收钱不发货和顾客收货不承认等货物传输的安全性问题,设计一种基于ECDH密钥交换算法的电子支付协议原子性方案,通过客户和商家共同协商产生数字货物。结果表明,所提方案有效地解决了电子商务中有关数字交易卖方不发货、发货不符合规定和买方收货却抵赖不承认的问题。(本文来源于《桂林电子科技大学学报》期刊2014年05期）
王兵,肖美华,刘晓清,朱宜炳[2]（2007）在《电子商务协议原子性的SPIN分析》一文中研究指出电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.(本文来源于《南昌大学学报(工科版)》期刊2007年02期）
鲁荣波,何大可,缪祥华[3]（2006）在《一种原子性和公平匿名性的电子支付协议》一文中研究指出在分析电子交易的原子性和公平匿名性的基础上,提出了一种可同时实现原子性的公平匿名的电子支付协议,而且在整个支付过程中,可信第叁方可以离线,只有发生争议时才参与仲裁解决。给出了协议的6个子协议,详细描述了各子协议的执行过程,并且非形式化地分析了协议的原子性和公平匿名性,保证了公平的电子交易和私密性。(本文来源于《计算机工程》期刊2006年17期）
董荣胜,郭云川,古天龙[4]（2005）在《一种电子商务协议原子性的模型检验分析方法》一文中研究指出提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。(本文来源于《计算机科学》期刊2005年04期）
刘义春,张焕国,王丽娜[5]（2005）在《电子支付协议的原子性研究综述》一文中研究指出原子性是设计电子支付协议时应考虑的重要性质。文章介绍了电子支付系统的原子性概念,分析了一些重要电子支付协议的原子性,论述了原子性电子支付协议的实现策略,描述了两个着名的原子性电子支付协议——NetBill和Anonymous Atomic Transaction Protocol的协议实现,基于两阶段提交策略提出了一种新的原子性实现方法并用于构造原子性电子合同签署协议,就复杂电子交易模式的原子性支付问题进行了探讨,指出了电子支付原子性研究的最新发展和亟待解决的公开问题。(本文来源于《计算机科学》期刊2005年02期）
李文全[6]（2004）在《基于符号模型检验的电子商务协议原子性的研究与实现》一文中研究指出随着电子商务在全球范围的广泛应用,电子商务的纠纷也越来越多。在众多的电子商务纠纷中,相当一部分是由于电子支付协议本身的缺陷引起的。因而电子支付协议成了电子商务发展的瓶颈。而电子支付协议的原子性是用来规范电子交易活动中的资金流、信息流、和物流,因而是导致支付过程中产生纠纷的重要原因之一。因而,近年来,电子商务协议的原子性成了研究的热点。人们针对电子支付协议的原子性提出了诸多的协议,企图解决这个问题。电子商务协议的设计是一个十分庞大和复杂的工作,而且极易出现意想不到的错误,一个看是完美无缺的协议可能存在各种漏洞。这样电子商务协议的原子性的分析验证就成了一个现实的课题。 目前对电子商务协议的检验手段主要有:直观的分析,实际攻击测试和形式化的检验分析技术。由于形式化分析借助于形式化分析方法和工具完成,具有逻辑严密和断言普遍的优点,但是形式化分析中的逻辑验证需要初始假设的非形式化过程,以及对协议进行理想化等缺陷。Gavin Lowe首先使用CSP和模型检验技术对密码协议进行分析,它克服了逻辑验证的上述缺陷。模型检验在电子商务协议安全性分析验证方面得到了广泛的应用。 本文应用符号模型检验器(SMV)对电子商务协议的原子性进行分析,在对SET协议进行形式化描述的基础上,对SET协议进行分析和检验,指出了协议的缺陷。同时对该协议进行改进,又对改进后的协议的进行分析和检验,表明应用符号模型检验器对电子商务协议分析检验的可行性。(本文来源于《东北大学》期刊2004-12-01）
黄少寅,高传善[7]（2004）在《合同原子性及ACAP协议的实现》一文中研究指出针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨 ,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案 ,并对ACAP的匿名性、安全性、原子性做了分析(本文来源于《计算机研究与发展》期刊2004年04期）
古天龙,郭云川,董荣胜,蔡国永[8]（2004）在《Digicash协议原子性的符号模型分析》一文中研究指出电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务协议进行分析,在对Digicash协议及电子商务原子性进行形式化描述的基础上,用SMV从钱原子性和商品原子性这两个角度对Digicash协议的原子性进行了分析和检验,指出了Digicash协议的缺陷,从而表明了用SMV对电子商务协议分析和验证的可行性。(本文来源于《计算机工程与应用》期刊2004年09期）
刘文远,邓成玉,左晶晶,唐杰,方淑芬[9]（2004）在《满足原子性和公平匿名性的AFAP协议研究》一文中研究指出在分析电子交易的原子性和公平匿名性基础上 ,应用两阶段提交协议思想 ,实现了电子交易的原子性 ,改进了Brands教授提出的公平盲签名协议 ,不仅实现了交易中的匿名性 ,还提供了非法支付的所有者追踪和货币追踪 ,实现了公平匿名性 ,并提出了一个可同时实现原子的公平匿名的电子交易协议 ,给出了协议的五个子协议 ,详细描述了各子协议的执行过程 ,并非形式化地证明了协议原子性和公平匿名性 ,保证了公平电子交易和私密性 .(本文来源于《计算机学报》期刊2004年03期）
郭云川,古天龙,董荣胜,蔡国永[10]（2004）在《Netbill协议原子性的符号模型检验分析》一文中研究指出电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节。论文在对Netbill协议及其原子性进行形式化描述的基础上,基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验,从而表明了用SMV对电子商务协议分析和验证的可行性。(本文来源于《计算机工程与应用》期刊2004年02期）
协议原子性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
协议原子性论文参考文献
[1].周辉,张向利,张红梅.基于ECDH密钥交换算法的电子商务协议原子性设计[J].桂林电子科技大学学报.2014
[2].王兵,肖美华,刘晓清,朱宜炳.电子商务协议原子性的SPIN分析[J].南昌大学学报(工科版).2007
[3].鲁荣波,何大可,缪祥华.一种原子性和公平匿名性的电子支付协议[J].计算机工程.2006
[4].董荣胜,郭云川,古天龙.一种电子商务协议原子性的模型检验分析方法[J].计算机科学.2005
[5].刘义春,张焕国,王丽娜.电子支付协议的原子性研究综述[J].计算机科学.2005
[6].李文全.基于符号模型检验的电子商务协议原子性的研究与实现[D].东北大学.2004
[7].黄少寅,高传善.合同原子性及ACAP协议的实现[J].计算机研究与发展.2004
[8].古天龙,郭云川,董荣胜,蔡国永.Digicash协议原子性的符号模型分析[J].计算机工程与应用.2004
[9].刘文远,邓成玉,左晶晶,唐杰,方淑芬.满足原子性和公平匿名性的AFAP协议研究[J].计算机学报.2004
[10].郭云川,古天龙,董荣胜,蔡国永.Netbill协议原子性的符号模型检验分析[J].计算机工程与应用.2004