电子商务协议相关论文
计算机网络的出现使世界的联系变得更加紧密。但是，开放式网络上和分布式系统上不断增长的各种应用尤其是电子商务的蓬勃发展，对系统......
电子商务中的协议研究是电子商务研究的一个重要方面,电子商务协议是面向应用层的网络安全协议,其主要作用就是防止在既不安全又不......
该文从多角度、多方位对数字作品的安全与版权保护开展研究,包括数字作品交易的匿名性、公平性、可分割性;数字作品版权标注、数字......
随着电子商务在全球的迅猛发展，电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础......
公平非否认协议可以防止通信主体对通信事件的抵赖行为并保证通信各方始终处于公平地位,是安全电子商务协议的基础。由于公平非否......
电子商务协议形式化分析是电子商务研究的一个重要方面，电子商务协议是面向电子商务的密码协议，安全的电子商务协议是保证电子商务活......
随着互联网和电子商务的快速发展,各种商业活动和人们的日常生活越来越多的依靠网络来进行,如电子现金交易、电子拍卖、电子招标和......
随着计算机网络和电子商务的普及，网络安全问题越来越受到重视，而电子商务协议就是解决电子商务中网络安全问题的有效手段之一。虽然......
电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子商务协议的安全性是决定电子商务发展的关键因素。研究电子商......
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平......
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限......
基于通信顺序进程和动态博弈理论对电子商务系统建模,提出了结构化的电子商务协议的公平性,并基于该模型给出了公平性的形式化定义......
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对......
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑......
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP，该协议可使通信双方处于平等的地位，并有效地防止欺骗行为的发生。......
电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题，采取一定的方法对协议进行分析检验是协议开发过程中一个必......
采用形式化方法分析安全协议是协议分析的有效手段，近年来。出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具......
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
随着网络的大规模应用，越来越多的协议在并发环境中执行，时间也成为协议中一个重要因素。本文对公平交换协议Franklin／Reiter协议加入......
安全电子交易(SET)协议是一种解决互联网上信用卡安全交易的安全协议,其工作流程符合传统的信用卡工作流程和规范.它是主要由Maste......
基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交.在进行大量交易时,......
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和A......
Kailar在1996年发表了“电子商务协议中的可追究性”一文，使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一......
基于卿-周逻辑给出了一些新的逻辑推理规则，并提出了一种扩展的通信有限状态自动机，用于分析电子商务协议的安全性质。该方法可描述......
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公......
电子商务的快速发展加强了电子商务协议的新类型的需求，尤其对各种复杂协议的需求，这使得协议本身安全性的证明变得更为困难。为了证......
电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题，在协议设计完成之后，采取一定的方法对协议进行分析检验以确......
随着网络的大规模应用，越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模．并用自动验证工具UPPAAL验证了......
电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点.本文建立了网络支付协议ISI的有限状态机模型,并用S......
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性......
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time......
电子商务主要是指在全球各地广泛的商业贸易活动中，在Internet开放的网络环境下，买卖双方不谋面的进行各种商业和贸易活动。电子商务......
分析了基于公钥密码体制的IBS协议,针对其中存在的一些不足和缺陷,提出改进方案。最后对改进后的协议进行形式化分析,证明改进后协......
基于可验证加密机制和群签名技术,提出了一种适用于数字商品交易的公平电子商务协议。该协议仅需要一个离线的半可信第三方来提供......
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1......
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。......
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题，提出一种基于颜色Petri网的电子商务协议攻击分析方法，用于分析协......
介绍了电子商务中的两个主流协议:安全套接层SSL(Secure Sockets Layer)协议和安全电子交易SET(Secure Electronic Transaction)协......
电子商务协议常常具有复杂结构，协议可能由多个子协议组合而成。因此，电子商务协议的安全分析较认证协议更为复杂。传统的信念逻辑不......
提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对......
研究ATL逻辑及其在电子商务协议形式化分析中的应用，对Kremer提出的方法进行扩展，使之在考虑公平等特性的同时能够分析协议的安全性......
在卿-周逻辑（软件学报,2001年第9期）的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子......
为了保障电子商务活动中各方的利益不被侵害,需要利用基于密码技术的电子商务协议来保证商务活动的安全性,因此对电子商务协议的安......
电子商务协议形式化分析是电子商务研究的一个重要方面，电子商务协议是面向电子商务的密码协议，安全的电子商务协议是保证电子商务活......
提出了一种工作流访问控制模型WACM(Workflow Access Control Model),该模型支持基于角色的授权,通过工作流引擎中的访问控制矩阵......
分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工......
