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