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