高效可证明紧致安全的数字签名技术研究

数字签名技术是公钥密码学中最重要的技术之一，为信息安全提供了强有力的保障工具，在工业界有着广泛的应用。如今，可证明紧致安全已成为设计密码体制所追求的一项目标。但是目前工业界正在使用的基于离散对数方法的数字签名体制，以及绝大部分基于Fiat-Shamir（简称FS）变换技术而得到的数字签名体制都不具有紧致安全性。基于离散对数方法，迄今还没有人发现高效、实用的紧致安全的数字签名体制；如何通过FS变换技术来得到紧致安全的数字签名体制仍是悬而未决的问题。.本项目的目标是研究高效、实用的紧致安全的数字签名技术。首先基于离散对数方法，构造高效、实用的紧致安全的数字签名体制。然后，发现零知识证明协议可以用FS变换技术转化为紧致安全的数字签名体制的充分必要条件，从而设计出采用FS变换技术把身份鉴别协议转化为紧致安全的数字签名体制的架构。最后，研究这些紧致安全技术在基于群体的数字签名体制中的应用。