哈希证明系统及应用研究  

Research on Hash Proof System and its Applications

作　　者：赵秀凤[1] 

机构地区：[1]信息工程大学电子技术学院,郑州450004

出　　处：《计算机科学》2012年第B06期18-23,共6页Computer Science

基　　金：国家自然科学基金(61173139)资助

摘　　要：哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系统除了用于设计CCA安全的公钥加密体制之外,还广泛应用于各种安全协议设计,比如:基于口令认证的密钥交换协议、不经意传输协议、可否认的认证协议、零知识证明协议和承诺协议等。介绍了哈希证明系统及其变形的各种定义,分析了定义之间的派生关系和安全级别关系,并讨论了哈希证明系统在密码学中的应用。The notion of hash proof system was first proposed by Cramer and Shoup in Eurocrypt 2002. There are lots of research results about hash proof system since the notion was proposed, nowadays, some revisited versions were presented. ＂Projective＂ and ＂smoothness＂ are two important prosperities of hash proof system. It is found that hash proof system is used several contexts except used as a means to build efficient chosen-ciphertext secure public-key encryption schemes, such as password-based authenticated key exchange, oblivious transfer, deniable authentication, zero-knowledge proof, commitment, etc. We addressed the definitions of hash proof system, analyzed the derivation relations and security level among variations,and discussed the applications of hash proof system in cryptography.

关 键 词：哈希证明系统 子集成员问题 CCA安全 密钥交换 OT协议 可否认认证 零知识证明 承诺协议 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]