基于属性指定证实者签名研究.pdfVIP

摘 要 摘 要 基于属性签名，也称属性签名，能提供细粒度的访问控制，具有丰富的访问策略， 且具有良好的隐私性，因而具有广泛的应用前景，是近年密码学研究的热点之一。指定 证实者签名可以指定某一证实者，使得他与签名人一样可以对签名进行证实或否认，除 此之外，任何第三方都不能对签名进行证实或否认，因而适用于对敏感消息进行签名， 得到了学者们的关注与研究。传统的指定证实者签名是 “一对一”的，也就是说，一个 签名人的签名指定给一个指定证实者，存在明显的局限性。 本文将 “基于属性”性质引入到指定证实者签名，研究基于属性指定证实者签名， 突破原有局限性，做到 “多对多”，即由满足访问结构的签名人签名，指定满足访问结 构的指定证实者证实或否认。一方面是对密码学理论研究的一种扩展；另一方面，由于 “基于属性”丰富灵活的访问策略，可以极大拓展应用范围，因而具有重要的理论和实 际意义。主要成果有： 1. 研究密钥策略基于属性指定证实者签名，给出其正式定义和形式化安全模型； 利用多线性映射构造一个访问结构为单调布尔电路的基于属性指定证实者签名 方案；在随机谕言机模型下证明，如果k-MCDH 假设成立，则所构造的方案是 选择性不可伪造的。 2. 研究签名策略基于属性可转换指定证实者签名，给出其正式定义和形式化安全 模型；基于离散对数困难性问题，构造一个无双线性对的基于属性可转换指定 证实者签名方案。该方案主要基于Cramer 等人的证据隐藏证明协议，选择 Schnorr ∑ (t,n) 协议作为其基础 协议，使用 门限方案作为其秘密分享方案，再使 用Fiat-Shamir转换得到一个门限签名方案，然后再进行指定证实和防共谋处理， 结合了相等知识签名，最后得到一个签名策略基于属性可转换指定证实者签名 方案；在随机谕言机模型下证明所构造方案的安全性。 关键词：基于属性签名；指定证实者签名；密钥策略；签名策略；可转换 I 目录 目 录 摘 要I AbstractIIII 目 录V 1 1 第 章 绪 论 1.1 研究背景和意义1 1.1.1 基于属性签名的研究背景和意义1 1.1.2 指定证实者签名的研究背景和意义2 1.2 国内外研究现状3 1.2.1 基于属性签名的研究现状3 1.2.2 指定证实者签名的研究现状6 1.3 本文工作9 1.3.1 基于属性指定证实者签名9 1.3.2 本文主要成果10 2 13 第 章 预备知识 2.1 常用符号13 2.2 线性映射与困难性假设13 2.2.1双线性映射与困难性假设13 2.2.2 多线性映射与困难性假设14 2.3 单调布尔电路15 2.4 离散对数 （不）相等零知识证明15 2.4.1离散对数相等零知识证明15 2.4.2 离散对数不相等零知识证明16 2.5 平滑秘密共享方案17 2.6 t n 17 (, )门限方案 2.7 证据隐藏协议18 2.8 门限签名方案18 2.9 相等知识签名20 V