论文部分内容阅读
在可证安全理论框架下，本文主要研究解决认证和隐私保护之间矛盾的方案一隐私保护类认证，包括指定验证者签名(DVS)、可否认认证(DA)和指定证实者签名(DCS)。
第一部分首先提出新的DVS形式化模型定义，并证明Susilo-Zhang-Mu基于身份的DVS方案、Laguillaumie-Vergnaud指定多验证者签名(MDVS)方案、NgSusilo-Mu泛指定多验证者签名方案、Zhang-Furikawa-Imai泛指定验证者签名(UDVS)方案和Zhang-Susilo-Mu-Chen基于身份的UDVS方案在Lipmaa-WangBao的DVS安全模型下存在签名可授权缺陷。其次，提出新的基于身份的UDVS模型。基于此模型，本文首次给出一个满足签名不可授权性安全的基于身份的UDVS方案，并在随机预言模型下基于强Diffie-Hellman假设证明了方案的安全性。第三，给出MDVS新的形式化定义；根据MDVS验证和模拟算法的执行模式不同，我们对MDVS模型进行了划分，进而分析了不同的签名传输模式对MDVS方案的影响。鉴于已有方案存在签名长度随指定验证者规模增长而线性增长的问题，本文首次提出在标准模型下安全的签名长度与指定验证者规模无关的高效MDVS方案。
第二部分研究DA和DVS的等价关系问题。本文给出具体的DA协议与强指定验证者签名(SDVS)相互转换构造的方法，包括：基于身份的DA协议转换为基于身份的SDVS方案、SDVS方案转换为DA协议、交互式DA协议和非交互式DA协议转换为非交互SDVS方案，并证明了转换后对应协议的正确性和安全性。通过相互转换，架起了DA协议和SDVS之间的桥梁，首次为二者之间存在的对应等价关系提供了理论分析基础和例证。
第三部分给出新的DCS及其安全模型定义。基于此模型，本文提出一个新的安全并且高效的(非)交互式DCS方案，其证实和否认协议满足完备性、可靠性和签名证实或否认的不可转移性。通过与现有方案证实和否认协议中的模幂运算比较，新方案比Camenisch-Michels等方案效率更高。