公钥证书基础上的不可否认签名研究

将基于证书的概念引入到不可否认签名中,首次提出基于证书的不可否认签名,并给出基于证书不可否认签名的一般性定义和安全性模型。

一个新的无证书不可否认签名方案

无证书密码体制(CL-PKC)是新近提出的一类新型公钥密码体制.它保持了基于身份的密码体制(ID-PKC)不需要使用公钥证书的优点,又较好地解决了基于身份的公钥体制所固有的密钥托管问题.对无证书体制下安全高效的签名方案的研究是受到高度关注的研究课题.本文用双线性对和零知识证明协议,构造了一种新的无证书不可否认签名方案.

零知识证明的前向安全不可否认数字签名方案

基于零知识的证明,提出了一种前向安全不可否认数字签名方案。将不可否认数字签名与前向安全数字签名结合起来,保持了不可否认数字签名的一般特点,并具有前向安全性,在签名密钥泄露的情况下可将损失减少到最小。该方案具有签名不可伪造性和不可否认性、签名和密钥长度短等特点。密钥更新协议使用了零知识证明的思想,保证密钥进化的安全性。在标准困难问题假设下,该方案是安全的。

代理不可否认签名

代理签名使得原始签名人可以授权代理人代理其签名,不可否认签名则使得只有签名人才能向第三方证实或否认签名的有效性。将代理签名与不可否认签名组合到一起,提出代理不可否认签名的概念,给出一个代理不可否认签名方案。该方案在决策Diffie-Hellman困难性假设下可证明是安全的。

一种新的可转换不可否认签名方案的改进

Ｄａｍｇàｒｄ等人提出了一种新的可转换不可否认签名方案，该方案是将ＥｌＧａ－ｍａｌ方案的加密形式和签名形式结合在一起，即对签名的结果Ｓ进行加密，它有一个缺陷：会话密钥ｒ必须为ｑ阶．该文提出了一个改进方案，实质是用ＥｌＧａｍａｌ加密方案对ＥｌＧａｍａｌ签名的消息ｍ进行加密，从而去掉了这个约束条件．改进方案的签名证实／否认协议是完善／计算零知识的．伪造签名的困难性等价于伪造ＥｌＧａｍａｌ签名，改进方案的签名很容易转换成自验证签名和指定证实者签名．

一个具有完善零知识特性的可转换不可否认签名方案

提出了一个新的可转换不可否认签名方案，它将E1Gamal加密形式和E1Gamal签名方程有机地结合起来，利用完善零知道参数，使得签名证实／否认协议具有完善零知识特性。伪造签名的困难性等价于伪造E1Gamal*签名，新方案的签名很容易转换成自验证签名和指定证实者签名。

不需要可信任方的门限不可否认签名方案(英文)

在1992年澳大利亚密码会议上, Harn and Yang 第一次提出了(t,n)门限不可否认签名的概念.其中,只有成员个数不少于t的子集才能代表群体产生、确认和否认签名.随后,一些研究者又提出了几个方案,但这些方案都是不安全的.因此,到目前为止,怎样设计一个安全的(t,n)门限不可否认签名方案仍然是个公开问题.提出了一个基于离散对数密码系统的(t,n)门限不可否认签名方案.该方案不仅安全、高效,而且不需要可信任方.另外,方案还具有一个很好的性质,即成员的诚实性是可以验证的.这是由于在分发密钥时,采用了Schoenmakers在1999年美洲密码会议上提出的可公开验证秘密共享方案和两个用来提供正确性证据的离散对数恒等式协议.

强不可否认的指定验证者代理签名方案

为了保护原始签名者的个人隐私,同时更好地确保代理签名的强不可否认性,在代理授权阶段引入指定验证者的思想,构造了一个基于离散对数难题的强不可否认的指定验证者代理签名方案。新方案不仅实现了只有代理签名者才能验证原始签名者的授权签名,而且确保了当代理签名者否认代理签名时,指定验证者可以在不造成安全隐患的前提下,向公众验证签名,指认代理签名者的身份。性能分析表明,该方案具有较高的效率,且满足代理签名的各种安全性要求。

使用双线性对构造基于身份的不可否认签名(英文)

使用椭圆曲线上的映射对构造基于身份的确认签名(也是不可否认签名),最早由Han S等人提出.然而, Zhang F等人证明Han S的签名是不安全的.本文对Han S的方案进行了修改,构造了使用椭圆曲线上映射对和零知识证明的基于身份的不可否认签名方案,且证明了它是安全的.

基于RSA的XML不可否认签名方法研究

针对普通XML数字签名的可否认问题,首先介绍了XML数字签名原理,然后分析了RSA签名机制和不可否认签名方案,在此基础上提出了一种改进的不可否认签名算法,并将其应用到XML数字签名结构的签名方法中,从而提出了一种新的XML不可否认签名方法。实验表明,该方法能够确保XML数字签名的不可否认性,是实现XML文档安全交换的一种很有发展前景的保障技术。

不可否认签名方案的一个注记

证明了在Chaum-van Antwerpen不可否认签名方案的否定协议中,通过选择适当的口令参数,签名验证者发现签名者在签名验证过程中否认签名的行为的概率为1,而不是普遍认为的1-1/p,并给出了当消息空间是Zp*而不是Zp*的q阶子群时,签名验证协议所有可能的结果.

可转换非交互式指定验证者不可否认签名方案

将可转换不可否认签名方案的思想方法应用到NIDV不可否认签名方案中,使其具有可转换为普通自验证签名的性质,提出了一个可转换NIDV不可否认签名方案,并给出了随机预言模型下的安全性证明.

与不可否认签名方案有关的两个概率问题

详细讨论了在Chaum-van Antwerpen不可否认签名方案中,让签名验证者接受一个伪造签名成功的概率以及签名者成功否认自己签名的概率问题,指出了某些文献中关于这两个概率的错误.

基于身份的三次传递不可否认签名方案

提出了一个新的基于身份的不可否认签名方案。该方案的确认协议和否认协议都是三次传递的,因而具有较高的效率。方案对于主动攻击和并发攻击,在randomoracle模型下证明是安全的,其不可伪造性等同于BDH问题;不可分辨性等同于DBDH问题;不可扮演性等同于CDH问题。

基于RSA的三次传递不可否认签名方案

提出了一个新的基于RSA的不可否认签名方案,该方案的确认协议和否认协议是三次传递的,因而提高了效率。该方案同时实现了可转换性,可以把不可否认签名方案转换成通常的RSA数字签名方案。方案在随机问答器模型下证明是安全的,其不可伪造性等同于CDH(Computational D iffie-Hellman)问题;不可分辨性等同于DDH(Decisional D iffie-Hellman)问题;不可扮演性等同于离散对数问题。

基于双线性对的不可否认签名

不可否认签名是一种需要签名方参与才能对签名的有效性进行验证的特殊数字签名.目前双线性对映射已成为构建各种签名方案的重要工具,该文利用双线性对技术,提出了一个新的不可否认数字签名方案,并对其安全性进行了分析.

利用不可否认的数字签名技术实现电子政务中的文件传输

在日常工作中,电子政务已发挥越来越重要的作用,而文件的传输也变得更加频繁,如何保证文件在传输过程中不出现差错是至关重要的。本文主要利用了双方不可否认的数字签名技术来实现文件传输的合法性,从而使电子政务系统中的文件传输的安全性得到进一步的完善。

基于不可否认签名方案的XML数字签名技术研究

在研究了不可否认签名方案和XML数字签名的基础上,找出二者的结合点,提出了一种基于不可否认签名方案的XML数字签名,并给出了实现的一个简单方案;此方案充分体现了XML和不可否认签名方案结合的优点,安全性很高,具有良好的应用价值和前景。

去中心基于属性不可否认签名

将基于属性、不可否认和去中心3个概念相结合,提出去中心基于属性不可否认签名的定义和安全模型,并基于离散对数困难问题构造一个无双线性对的方案。该方案主要基于Cramer等的证据隐藏零知识证明协议,以Schnorr协议作为其基础Σ协议,以Shamir门限方案作为其秘密分享方案;再使用Fiat-Shamir转换得到一个(t,n)门限签名(BTS)方案;然后再对BTS方案进行不可否认、防共谋和去中心化处理;最后得到一个去中心基于属性不可否认签名方案,并在随机预言机模型下证明了其安全性。

可证明安全的基于身份的不可否认签名方案

针对基于身份的不可否认签名方案计算效率低的问题,提出了一个新的基于身份的不可否认签名方案。基于计算双线性Diffie-Hellman(CBDH)问题和判断双线性Diffie-Hellman(DBDH)问题的困难性假设,该方案在随机预言模型下被证明是不可伪造和不可见的,并且该方案减少了双线对的运算次数。分析表明,该方案比Libert、Duan、Behnia等提出的不可否认签名方案具有更高的计算效率,更适用于计算受限的场合。