电子商务协议相关论文
公平性是电子商务协议必须具备的性质。本文采用进程代数的方式对FEEP协议进行了形式化描述,基于ProVerif对FEEP协议的公平性进行......
非否认性是电子商务协议应该具备的一个重要特性.SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用.本文通过对SVO逻辑分析......
串空间模型(strand space)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了......
电子商务的迅速发展,使电子商务协议的开发变得十分必要,这些协议应确保信息交互的可靠性与完整性.形式化建模是设讨具有高可靠性......
电子商务中的协议研究是电子商务研究的一个重要方面,电子商务协议是面向应用层的网络安全协议,其主要作用就是防止在既不安全又不......
该文从多角度、多方位对数字作品的安全与版权保护开展研究,包括数字作品交易的匿名性、公平性、可分割性;数字作品版权标注、数字......
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础......
安全的电子商务协议是保证电子商务活动正常开展的基础。一个貌似安全的协议往往存在安全上的漏洞。模型检测是一种常见的形式化分......
公平非否认协议可以防止通信主体对通信事件的抵赖行为并保证通信各方始终处于公平地位,是安全电子商务协议的基础。由于公平非否......
电子商务协议形式化分析是电子商务研究的一个重要方面,电子商务协议是面向电子商务的密码协议,安全的电子商务协议是保证电子商务活......
随着互联网和电子商务的快速发展,各种商业活动和人们的日常生活越来越多的依靠网络来进行,如电子现金交易、电子拍卖、电子招标和......
随着计算机网络和电子商务的普及,网络安全问题越来越受到重视,而电子商务协议就是解决电子商务中网络安全问题的有效手段之一。虽然......
非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规......
电子商务是当前各国研究发展的热点,它以电子商务协议为构成框架,而电子商务协议的安全性是决定电子商务发展的关键因素。研究电子商......
本文指出在分析电子商务协议公平性的过程中,不仅要考虑参与协议的主体被动攻击的情况,同时还要考虑参与协议的主体进行主动攻击的......
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平......
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限......
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对......
本文介绍了Internet上的一个安全、公平、快捷的电子商务协议-NetBill协议。它是Internet上面向低价格网络信息商品的电子支付系统。......
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑......
本文指出在分析电子商务协议公平性的过程中,不仅要考虑参与协议的主体被动攻击的情况,同时还要考虑参与协议的主体进行主动攻击的情......
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。......
电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题,采取一定的方法对协议进行分析检验是协议开发过程中一个必......
采用形式化方法分析安全协议是协议分析的有效手段,近年来。出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具......
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入......
安全电子交易(SET)协议是一种解决互联网上信用卡安全交易的安全协议,其工作流程符合传统的信用卡工作流程和规范.它是主要由Maste......
基于原子的公平匿名交易协议,采用两阶段提交的思想,通过可信第三方TTP(trusted third party)来控制交易的提交.在进行大量交易时,......
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和A......
Kailar在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一......
基于卿-周逻辑给出了一些新的逻辑推理规则,并提出了一种扩展的通信有限状态自动机,用于分析电子商务协议的安全性质。该方法可描述......
研究了电子商务安全协议,修改了SET协议的模型,提出了在SET协议中使用Rijndael算法来实现数据加密。用ECC密码来实现数字签名、数字......
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公......
电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证......
电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确......
随着网络的大规模应用,越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模.并用自动验证工具UPPAAL验证了......
电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点.本文建立了网络支付协议ISI的有限状态机模型,并用S......
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性......
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time......
电子商务主要是指在全球各地广泛的商业贸易活动中,在Internet开放的网络环境下,买卖双方不谋面的进行各种商业和贸易活动。电子商务......
分析了基于公钥密码体制的IBS协议,针对其中存在的一些不足和缺陷,提出改进方案。最后对改进后的协议进行形式化分析,证明改进后协......
电子商务正在快速而深刻地改变传统的金融业、零售业、制造业、工业企业、物流运输业、政府机构等的运作模式和商业模式乃至人类存......
电子商务的普及与接受主要取决于下述属性的解决:安全、原子、隐私与匿名,形式化描述和分析是描述电子商务协议并验证它各性的有效方......
基于可验证加密机制和群签名技术,提出了一种适用于数字商品交易的公平电子商务协议。该协议仅需要一个离线的半可信第三方来提供......
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1......