原子性相关论文
本文针对SET安全协议的不足,提出了比较具体的改进措施.引入交易认证中心CA,先将交易的金额冻结,再让商家发货,直到消费者收到货后......
基于申威处理器,在底层虚拟机(Low Level Virtual Machine, LLVM)编译器后端对锁机制提供编译支持,保证多线程环境下,对共享内存操......
目前绝大多数旅游电子商务网站的支付系统都是基于SSL协议设计的,而国际版的SSL协议所使用的对称密钥位数是受美国出口限制的,并且......
该文的目标是在一个原子交易的基础上实现一个匿名的电子交易模型,同时提供在特定条件下（电子犯罪）的匿名撤销功能.该文首先综述了电......
本文以蠕虫扩散为主要的研究对象，对影响蠕虫扩散的关键因素进行了分析和提取，并建立了影响因素间的基本关系模型。 本文给出了对......
随着Internet的迅猛发展,网络已经在经济生活中得到了越来越多的应用。网络给人们提供了更为广阔的市场机会,传统商务开始逐渐向电......
随着无线技术的高速发展，各类有着严格时间与错误率限制的无线多播应用犹如雨后春笋。然而无线网固有的带宽不稳定、传输质量易受环......
一方面,在现在基于网络互连的数据中心技术中,一种名为RDMA(Remote Direct Memory Access,远程直接内存访问)的网络访问技术已被广......
近年来,随着分布式系统的发展,组与组通信机制不仅在传统的分布式组应用领域(如复制件系统、分布式名字服务系统)中得到进一步发展......
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的......
保持数据一致性是编写并发程序必须注意的一个重要问题.本文讨论了在Java多线程应用中使用同步方法解决该问题必须理解的三大特性:......
本文使用语义近似度分析了集成信息的GV中数据项的语义原子性与关系数据源中数据项的结构原子性之间的各种映射关系，阐述了二者不一......
数据库服务器的可用性问题一直是分布计算领域的研究热点之一,数据库服务器级容错和负载平衡服务(Database server level Fault-to......
事务处理技术特别是分布式事务处理技术在今天有着广泛的应用领域，对象事务服务（Ｏｂｊｅｃｔ Ｔｒａｎｓａｃｔｉｏｎ Ｓｅｒｖｉｃｅ：ＯＴＳ）有效地保证了分布式事务的原子性和永久性，目前已......
理想广播信道对理性多方计算协议实现的安全性和性能均存在着重要的影响，已有文献提出用多播协议模拟理想广播信道的思想，并提出了理......
本文主要讨论了多数据库系统中在全局事务取消或失败的情况下,如何保证事务原子性的问题.在分析重做、重试、补偿方法和两阶段提交......
基于公平盲签名技术、两阶段提交技术以及混合加密和数字签名技术,该文首次提出了一个能同时实现原子性和公平匿名性的电子交易协......
针对控制密集型嵌入式系统对软件实时性、安全性等要求高的特点,吸收现有构件模型优点,提出了控制密集型嵌入式系统软件构件模型-C......
针对e-Cash交易协议的匿名性和原子性两者之间存在的矛盾,在对多个e-Cash方案及协议属性关系分析研究的基础上,采用离线可信第三方......
分析了在WAP环境下基于SET协议的移动支付的交易流程不满足商品原子性和确认发送原子性。当商家得到正确支付后,SET协议不能保证他......
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性......
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点.SVO逻辑以其完善、简洁的特点在协议验证中被广......
电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题，采取一定的方法对协议进行分析检验是协议开发过程中一个必......
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,......
随着无线传感器网络的发展，其应用越来越广泛。为了提供可靠的服务质量并保证数据的一致性、有效性，这就需要无线传感器网络事务处理......
文章分析了在WAP环境下基于SET协议的移动支付的交易流程不满足商品原子性和确认发送原子性。当商家得到正确支付后,SET协议不能保......
以粗集理论为研究方法,针对粗关系数据库属性值非原子性的特点,从语义等价的角度改进了已有的粗关系数据库函数依赖定义,提出了其......
针对控制密集型嵌入式系统对软件实时性、安全性等要求高的特点，吸收现有构件模型优点，提出了控制密集型嵌入式系统软件构件模型—CI......
讨论了多数据库系统中各个局部数据库管理系统不支持准备－提交操作时，在全局事务取消或失败的情况下，如何保证事务的原子性的问题。在......
在多重中断C程序中，中断嵌套可能会导致一些非期望的交叠执行，从而造成错误的程序执行结果。典型的问题是共享变量引起的数据竞争破......
“和欣”嵌入式操作系统是基于CAR构件技术、支持构件化应用的操作系统，是国家863支持的TD-SCDMA的操作系统标准。本文简要介绍了“......
基于公平盲签名技术，两阶段提交技术以及混合加密和数字签名技术，该文首次提出了一个能同时实现原子性和公平匿名性的电子交易协议，协......
电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题，在协议设计完成之后，采取一定的方法对协议进行分析检验以确......
针对e-Cash交易协议的匿名性和原子性两者之间存在的矛盾，在对多个e-Cash方案及协议属性关系分析研究的基础上，采用离线可信第三方的......
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性......
介绍了移动分布式实时事务的工作模式,在此基础上提出了应用于移动分布式实时事务的实时原子交换协议:两层实时原子提交协议。通过......
将电子代金券的思想引入基于帐号的支付协议中,采用混合加密体制和数字签名技术,提出了一种新的电子支付协议.协议模拟现金代金券......
多线程编程中的原子操作非常重要，与多线程程序的正确性和性能息息相关。本文介绍了如何使用Java、C＋＋1x等语言中直接提供的原子操作......
