原子性相关论文
目前绝大多数旅游电子商务网站的支付系统都是基于SSL协议设计的,而国际版的SSL协议所使用的对称密钥位数是受美国出口限制的,并且......
从小额支付系统的需求出发,首先分析了PayWord这种小额支付协议.PayWord协议可以有效防止伪造和重复消费,但不能保证交易的原子性,......
本文以蠕虫扩散为主要的研究对象，对影响蠕虫扩散的关键因素进行了分析和提取，并建立了影响因素间的基本关系模型。 本文给出了对......
随着Internet的迅猛发展,网络已经在经济生活中得到了越来越多的应用。网络给人们提供了更为广阔的市场机会,传统商务开始逐渐向电......
一方面,在现在基于网络互连的数据中心技术中,一种名为RDMA(Remote Direct Memory Access,远程直接内存访问)的网络访问技术已被广......
本文主要讨论了多数据库系统中在全局事务取消或失败的情况下,如何保证事务原子性的问题.在分析重做、重试、补偿方法和两阶段提交......
基于公平盲签名技术、两阶段提交技术以及混合加密和数字签名技术,该文首次提出了一个能同时实现原子性和公平匿名性的电子交易协......
分析了在WAP环境下基于SET协议的移动支付的交易流程不满足商品原子性和确认发送原子性。当商家得到正确支付后,SET协议不能保证他......
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性......
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点.SVO逻辑以其完善、简洁的特点在协议验证中被广......
电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题，采取一定的方法对协议进行分析检验是协议开发过程中一个必......
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,......
随着无线传感器网络的发展，其应用越来越广泛。为了提供可靠的服务质量并保证数据的一致性、有效性，这就需要无线传感器网络事务处理......
文章分析了在WAP环境下基于SET协议的移动支付的交易流程不满足商品原子性和确认发送原子性。当商家得到正确支付后,SET协议不能保......
以粗集理论为研究方法,针对粗关系数据库属性值非原子性的特点,从语义等价的角度改进了已有的粗关系数据库函数依赖定义,提出了其......
原子性是设计电子支付协议时应考虑的重要性质.文章介绍了电子支付系统的原子性概念,分析了一些重要电子支付协议的原子性,论述了......
讨论了多数据库系统中各个局部数据库管理系统不支持准备－提交操作时，在全局事务取消或失败的情况下，如何保证事务的原子性的问题。在......
在多重中断C程序中，中断嵌套可能会导致一些非期望的交叠执行，从而造成错误的程序执行结果。典型的问题是共享变量引起的数据竞争破......
“和欣”嵌入式操作系统是基于CAR构件技术、支持构件化应用的操作系统，是国家863支持的TD-SCDMA的操作系统标准。本文简要介绍了“......
电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题，在协议设计完成之后，采取一定的方法对协议进行分析检验以确......
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性......
介绍了移动分布式实时事务的工作模式,在此基础上提出了应用于移动分布式实时事务的实时原子交换协议:两层实时原子提交协议。通过......
将电子代金券的思想引入基于帐号的支付协议中,采用混合加密体制和数字签名技术,提出了一种新的电子支付协议.协议模拟现金代金券......
事务是数据库管理系统中的一项重要技术,在数据库应用系统的开发中占有重要的地位,通过对实际应用研究,阐述了事务这一技术在数据......
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。......
伴随着电子商务的迅猛发展与Internet的广泛应用,传统的B to B网络支付方式已经很难适应次数多、交易频繁的微小金额支付结算的要......
通信是移动Agent系统的关键技术之一。目前为止已有很多相关研究人员提出一些比较好的通信机制,基本上已经可以满足Agent通信的一......
传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在......
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议，基于此，该文给出了一种同时支持这......
提出了一个在线的电子支付协议，该协议不仅能在交易前查出电子现金是否已花费过，且能对数字商品进行内容和质量的确认，保证消费者在付......
本文对目前蠕虫传播模型建立中的不足进行了分析，在此基础上提出了在传播模型中参数设置的两个原则，并提取了影响蠕虫传播的关键因素......
针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原......
<正>在金融企业中不少业务人员说:"数据分析应用是非常有价值的,我们的确很需要,但是现在没有数据能支持这些应用。"作为中国电子......
在卿-周逻辑（软件学报,2001年第9期）的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子......
针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,......
[摘 要] 随着电子商务的飞速发展，交易安全成为制约其发展的关键。本文从电子商务系统对安全性的需求出发，探讨了电子商务支付协议应......
计算机网络技术飞速发展，网络化和全球化成为不可抗拒的世界潮流，电子商务成为Internet及信息技术向纵深发展的一个重要标志，是历史进......
随着社会经济与信息技术的不断发展,人们对支付系统的运行效率和服务质量要求越来越高,这就促使支付系统从手工操作转向电子化、网......
金融行业的数据库必须具备事务处理实时一致、数据复制安全可靠、性能容量线性扩展、运维操作简单易用等特点,其中事务的实时一致......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
从保证全局事务的ACID性及实际的可操作性出发,提出了一种较为可靠的两阶段局部代理的工作流程,使用局部代理作为全局事务管理系统......
事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方......
分析了基于信用透支的电子交易协议存在的不满足发送原子性和客户可恶意透支这两个不足，提出了一种基于电子钱包的乐观公平交易协议......
原子性保证并行程序中的多线程以正确方式交互，大多主流的编程语言都没有提供确保原子性的内部机制。为了提高测试程序原子性的效率......
