论文部分内容阅读
弱信任关系下的指定的可证实数字签名，以参与的实体仅存在半信任关系为假定，要求签名数据产生与验证的分离性和排它性，证据的零知识性以及证据的防伪和不可转移等。提出了一个基于RSA公钥加密体系的可证实数字签名算法，给出了基于非形式化模型和Camenisch-Michels模型的验证过程，证明了该算法的安全性等价于RSA加解密的安全强度。