哈希证明系统及应用研究

哈希证明系统在2002年欧密会上由cramcr和shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究，目前已有多个修改版本。“投影性”和“平滑性”是哈希证明系统的两个重要特性，正是由于这两个特性使得哈希证明系统除了用于设计cca安全的公钥加密体制之外，还广泛应用于各种安全协议设计，比如:基于口令认证的密钥交换协议、不经意传输协议、可否认的认证协议、零知识证明协议和承诺协议等。介绍了哈希证明系统及其变形的各种定义，分析了定义之间的派生关系和安全级别关系，并讨论了哈希证明系统在密码学中的应用.