论文部分内容阅读
数字签名是公钥密码学的重要研究课题之一，它是对传统手写签名的模拟，在数字形式下又有全新的特征.本文首先研究了数字签名和指定验证者签名的性质和特点.数字签名是签名者对电子消息的证明，证明消息未被篡改，保证消息的完整性，具有无法伪造和不可否认的特征.数字签名的基本运行机制是这样的：签名者用私钥对消息进行签名，该签名可被公开验证，验证者使用签名者公钥校验签名的合法性.指定验证者签名是一种特殊性质的数字签名，签名不可公开验证，只有签名者指定的验证者才能验证，并且签名的验证无传递性.指定验证者签名可以看做是一个“轻量级”的数字签名，它一般不提供“不可否认”的性质，签名者可以对自己生成的签名抵赖.不可否认签名则是另一种形式的指定验证者签名.在不可否认签名中，签名的验证同样被限制，验证者无法独立完成验证，需和验证者进行交互证明来确认或否认签名.指定验证者签名在签名中嵌入了验证者的信息，一般需验证者私钥验证；而不可否认签名在签名生成时未嵌入验证者信息，需通过协议来指定验证者。
本文在研究一般指定验证者签名的基础上，给出了两个特殊性质的指定验证者签名一可分离指定验证者签名和多重不可否认签名。
在可分离指定验证者签名中，我们将一般指定验证者签名者的功能分离，即对消息的签名和对验证者的指定这两步分别交与两方，即签名者和新引进的签名指定者.这种可分离指定验证者签名，与现实生活中很多应用场景相符，如委托经纪人报价，匿名评审等，与其他类似签名机制如代理签名适用于不同的应用背景。由于签名指定者的引入，我们对相关安全模型进行了扩展，并给出了一个基于多重指定验证者签名的构造。
多重不可否认签名是我们对不可否认签名的一种扩展，它是一种适合多人对同一数字版权，拥有共同利益时使用的签名体制，它要求签名者联合生成签名，并且联合与授权者运行确认或否认协议.多重不可否认签名不是简单的一般不可否认签名的整合，一方面我们需要考虑多签名者时确认和否认协议的设计；另一方面我们需要考虑了引入多个签名者后带来的安全问题，如签名者内部作弊的情况.本文中，我们首先构造了一个一般不可否认签名，然后在签名整合时，使用了承诺机制和新设计的子协议来解决签名者内部作弊的问题。
本文的主要工作，给出上述两种特殊指定验证者签名，刻画其安全模型，并用归约的方法证明了所构造机制的安全。