非否认性相关论文
不可否认性和公平性是电子商务交换协议中的两个重要性质.本文以带盲密文的可验证加密方案为基础,提出了一种新的带有脱线半可信第......
签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案......
SET协议在电子商务交易中的应用越来越广泛，本文通过对SET协议的分析，发现存在的一些缺陷，并在此基础上提出了一个改进方案，增强了该协......
提出了一种可以提供证据一致性的基于离线TTP的多方公平非否认协议，和其他学者提出的多方公平非否认协议相比，文中的方案具有证据一......
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和A......
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,......
Zhou-Gollmann协议是一种公平非否认协议，近年来得到广泛讨论。Kim发现该协议在时限公平性方面存在缺陷，针对该缺陷提出一种改进的协......
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议，针对非否认协议的性质对CS逻辑进行了扩展，给出了描述和分析非否认性以......
针对可认证邮件传递协议CMP1存在的缺陷,提出了改进方案,通过引入密码原语——加密Hash函数,保护了邮件消息的机密性,引入FTP传输......
在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。......
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析,提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语......
作为安全协议形式化建模方法之一的多集重写（MSR）模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原......
随着电子商务技术的发展,人们对电子支付系统的要求越来越高,如何进行安全高效的电子支付成为电子商务研究的一大热点。本文对电子......
针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商......
给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那......
大多电子现金具有匿名性特点以保证所有者的私有性,可是很少有电子现金具有非否认特点.电子现金具有非否认性很有必要,它能避免由......
