后量子可证明安全研究

摘要：

后量子密码经过数十年的发展,其效率已经趋于实用化,其标准化工作也正在开展中.与此同时,对量子环境中的密码方案的可证明安全理论的研究在近十年也备受关注.本文将介绍近年来后量子可证明安全领域的发展和研究现状,包括经典密码方案在量子环境中的安全模型建立、安全概念定义,以及经典环境和量子环境中的安全性的分离结论和蕴含结论,并重点介绍量子随机谕言模型中的安全性证明.对后量子可证明安全理论的研究,对于合理评估密码算法在量子环境中的安全性、实现到后量子密码算法的安全平稳过渡具有重要意义.

关键词：后量子密码学、可证明安全、量子随机谕言模型

所属期刊栏目：4

分类号：TP309.7(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目“公钥密码的后量子可证安全理论研究”61772515;以及国家自然科学基金青年项目“可证明安全的确定性公钥加密体制研究”61502480

在线出版日期：2019-06-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：13-19