基于格的哈希证明系统的构造综述
自从2002年Cramer和Shoup首次提出哈希证明系统(Hash Proof System)的概念以来,人们逐渐发现了其所蕴含的巨大密码学价值.作为对某一个NP语言的特殊非交互式零知识证明系统,哈希证明系统在密码学理论的发展过程中有着不可替代的作用.到目前为止,对哈希证明系统的研究依然是密码学界一个热点话题.尤其是随着后量子密码时代的到来,对具有抗量子计算攻击特性的哈希证明系统的研究显得更为重要.本文首先概述了哈希证明系统的概念、密码学用途及在传统困难假设下的一般化构造方法.然后分别给出哈希证明系统、基于身份哈希证明系统和基于属性哈希证明系统的形式化定义以及各个定义中的关键点.最后,着重对基于格困难问题构造哈希证明系统的研究现状进行了总结和梳理,分析了一些具有代表性的已有构造的特点,并指出当前基于格构造哈希证明系统的研究过程中所面临的一些问题.
密码学、哈希证明系统、格
4
TP309.7(计算技术、计算机技术)
国家自然科学基金项目61402353, 61572303, 61772326, 61602290;国家重点研发计划 "网络空间安全" 重点专项2017YFB0802003, 2017YFB0802004;中央高校基本科研业务费GK201603084, GK201603093, GK201702004, GK201703062;中国科学院信息工程研究所信息安全国家重点实验室开放课题2017-MS-03;"十三五" 国家密码发展基金MMJJ20170216
2017-12-04（万方平台首次上网日期，不代表论文的发表时间）
共11页
474-484
