可追究性相关论文
电子商务是当前各国研究的热点。电子商务是以协议为构成框架的，电子商务协议的安全性是决定电子商务发展的关键因素。安全电子商务......
电子商务协议是实施电子商务的技术基础,电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术.电子商务协议的设计......
近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可......
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对......
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性......
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和A......
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公......
可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议.目前没有针对乐观公平交换协议的......
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在......
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议，该协议满足可追究性，并且是ε-公平的，协议中加......
可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本......
认证邮件协议需要满足保密性、公平性、可追究性等安全属性．针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷，对其进......
通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有......
在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性......
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务......
提出了一种分析密码协议的新逻辑。针对信息安全的需要，给出了一套与加解密、签名等密码学操作有关的构造和推理规则，举例说明此逻辑......
通过对Kailar逻辑进行改进，提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和......
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付......
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的......
在卿-周逻辑（软件学报,2001年第9期）的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子......
电子商务是一项很重要的经济活动,其中公平高效的进行交易是它的基本要求,而公平交易协议则是实现这一要求的基本保障。公平交易协......
随着Internet的日益发展与普及,电子商务已成为基于Internet的现代经济活动的主要形式之一。电子商务交易中通常涉及到互不信任的......
为了保障电子商务活动中各方的利益不被侵害,需要利用基于密码技术的电子商务协议来保证商务活动的安全性,因此对电子商务协议的安......
大部分现有的移动支付方法都是在完全连接场景下进行的,随着移动电子商务的多样化,现有的移动支付方法已经不能满足移动通信限制场......
