导读:本文包含了原子电子商务模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:原子,电子商务,模型,协议,闭环,供应链,电子支付。
原子电子商务模型论文文献综述
董荣胜,郭云川,古天龙[1](2005)在《一种电子商务协议原子性的模型检验分析方法》一文中研究指出提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。(本文来源于《计算机科学》期刊2005年04期)
李文全[2](2004)在《基于符号模型检验的电子商务协议原子性的研究与实现》一文中研究指出随着电子商务在全球范围的广泛应用,电子商务的纠纷也越来越多。在众多的电子商务纠纷中,相当一部分是由于电子支付协议本身的缺陷引起的。因而电子支付协议成了电子商务发展的瓶颈。而电子支付协议的原子性是用来规范电子交易活动中的资金流、信息流、和物流,因而是导致支付过程中产生纠纷的重要原因之一。因而,近年来,电子商务协议的原子性成了研究的热点。人们针对电子支付协议的原子性提出了诸多的协议,企图解决这个问题。电子商务协议的设计是一个十分庞大和复杂的工作,而且极易出现意想不到的错误,一个看是完美无缺的协议可能存在各种漏洞。这样电子商务协议的原子性的分析验证就成了一个现实的课题。 目前对电子商务协议的检验手段主要有:直观的分析,实际攻击测试和形式化的检验分析技术。由于形式化分析借助于形式化分析方法和工具完成,具有逻辑严密和断言普遍的优点,但是形式化分析中的逻辑验证需要初始假设的非形式化过程,以及对协议进行理想化等缺陷。Gavin Lowe首先使用CSP和模型检验技术对密码协议进行分析,它克服了逻辑验证的上述缺陷。模型检验在电子商务协议安全性分析验证方面得到了广泛的应用。 本文应用符号模型检验器(SMV)对电子商务协议的原子性进行分析,在对SET协议进行形式化描述的基础上,对SET协议进行分析和检验,指出了协议的缺陷。同时对该协议进行改进,又对改进后的协议的进行分析和检验,表明应用符号模型检验器对电子商务协议分析检验的可行性。(本文来源于《东北大学》期刊2004-12-01)
姚卫新[3](2003)在《电子商务环境下闭环供应链的原子模型研究》一文中研究指出环保意识和可持续发展意识的增强使产品的回收处理越来越受到重视,在电子商务环境下,进入逆向供应链的商品比例很高,因此有必要将正向供应链和逆向供应链进行一体化整合,形成闭环供应链,并对其进行优化。对电子商务环境下闭环供应链的各种原子模型进行了分析比较,得出了一些有益的结论。(本文来源于《管理科学》期刊2003年01期)
吴志刚,方滨兴,胡铭曾,孙鹏[4](2001)在《电子商务的安全和原子:模型、协议和验证(英文)》一文中研究指出电子商务的流行与接受主要取决于下述属性 :安全、原子、隐私与匿名 .对于需要安全、原子和隐私等 3个属性的物理商品的电子交易还没有合适的电子商务协议 .基于此 ,提出了一个称为 ELC的电子商务模型 ,ELC模型模拟了国际贸易中的电子信用证 .然后提出了一个安全、原子的电子商务协议 .最后 ,在有一个入侵者的情况下 ,通过使用 BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性 .(本文来源于《软件学报》期刊2001年03期)
原子电子商务模型论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
随着电子商务在全球范围的广泛应用,电子商务的纠纷也越来越多。在众多的电子商务纠纷中,相当一部分是由于电子支付协议本身的缺陷引起的。因而电子支付协议成了电子商务发展的瓶颈。而电子支付协议的原子性是用来规范电子交易活动中的资金流、信息流、和物流,因而是导致支付过程中产生纠纷的重要原因之一。因而,近年来,电子商务协议的原子性成了研究的热点。人们针对电子支付协议的原子性提出了诸多的协议,企图解决这个问题。电子商务协议的设计是一个十分庞大和复杂的工作,而且极易出现意想不到的错误,一个看是完美无缺的协议可能存在各种漏洞。这样电子商务协议的原子性的分析验证就成了一个现实的课题。 目前对电子商务协议的检验手段主要有:直观的分析,实际攻击测试和形式化的检验分析技术。由于形式化分析借助于形式化分析方法和工具完成,具有逻辑严密和断言普遍的优点,但是形式化分析中的逻辑验证需要初始假设的非形式化过程,以及对协议进行理想化等缺陷。Gavin Lowe首先使用CSP和模型检验技术对密码协议进行分析,它克服了逻辑验证的上述缺陷。模型检验在电子商务协议安全性分析验证方面得到了广泛的应用。 本文应用符号模型检验器(SMV)对电子商务协议的原子性进行分析,在对SET协议进行形式化描述的基础上,对SET协议进行分析和检验,指出了协议的缺陷。同时对该协议进行改进,又对改进后的协议的进行分析和检验,表明应用符号模型检验器对电子商务协议分析检验的可行性。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
原子电子商务模型论文参考文献
[1].董荣胜,郭云川,古天龙.一种电子商务协议原子性的模型检验分析方法[J].计算机科学.2005
[2].李文全.基于符号模型检验的电子商务协议原子性的研究与实现[D].东北大学.2004
[3].姚卫新.电子商务环境下闭环供应链的原子模型研究[J].管理科学.2003
[4].吴志刚,方滨兴,胡铭曾,孙鹏.电子商务的安全和原子:模型、协议和验证(英文)[J].软件学报.2001