不可否认协议相关论文
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻......
对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的......
该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目......
不可否认协议可以为网络上实体间的交互行为提供不可抵赖的证据。近年来，电子商务等Intemet应用的发展极大地推动了不可否认协议的......
随着开放式网络的迅速发展,安全服务变得越来越重要。对于电子通信协议,人们提出诸多安全要求,不可否认就是其中之一。由于协议中......
开放网络上的电子商务已成为现代经济活动的主要形式之一，但电子商务基于Internet这样的异构环境，通信实体间互不信任，且彼此的利益、......
Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进......
首次指出不可否认协议运行结果可分为认证强公平和期望强公平，其中后者优于前者。利用GPS数字签，提出一个新的带离线可信第三方的多......
扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同......
不可否认协议目的是防止参与方对其行为的否认，不可否认协议必须保证参与方之间的公平，但不同协议之间的公平性差异是现实存在的，表现......
基于可验证承诺签名技术,提出两个优化的可实现期望传递的双方不可否认协议通用模型,分别用于消息无需保密和可实现消息机密性的应......
在不可否认协议设计和应用中,可信第三方TTP(Trusted Third Party)担任着重要的角色.通过二个不同的协议,即Coffey-Saidha协议和Zh......
抗抵赖服务旨在生成、收集、维护已声明的事件或动作的证据，并以此证据解决关于某事件发生或未发生而引起的争议．抗抵赖协议借助密码......
分析了已有的国内外各种不可否认协议,针对它们存在的共同缺点,提出一个更为完善的密码协议:可运行在不安全信道上实现交易的公平......
针对目前尚无不可否认协议的形式化设计方法，提出一种基于逻辑的不可否认协议形式化设计方法，包括逻辑语言、定理、推理规则及合成规......
提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算......
PKI技术是信息安全技术的核心,也是电子商务的关键和基础技术。CA即证书授证中心,是一个负责发放和管理数字证书的权威机构,它作为......
为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保......
不同应用环境下不可否认协议的目标是不同的，面向电子邮件的不可否认协议目标有：双方不可否认；公平；协议能抵御常见的篡改和重放攻击；减......
