文档名：对CNF电路的有效混淆
程序混淆,作为一项对可计算函数进行隐藏的通用技术,已经在密码学研究中得到了广泛的应用.不过由于计算效率等问题,目前通用目的的混淆程序都难以在实际应用中发挥作用.造成这种情况的部分原因可以归咎于庞大的矩阵分支程序(MBP)和多线性映射(MMP),而这两者几乎是目前设计通用混淆程必须使用的工具.除了从效率方面考虑,现阶段多线性映射的安全性还受到了多个密码分析算法极为严峻的挑战.本文中,利用电路可满足问题(SAT)到集合覆盖问题(SetCover)的规约,构造了一个对多项式规模CNF电路的的混淆器,同时给予了该混淆器不使用MBP和MMP的可能.这种新的设计思路使得混淆方案中使用的编码方案仅需要是乘法同态的.于是定义了同态编码方案(HES)这一新的概念来描述并完成本次构造.从定义可以看出,HES在功能上要弱于多线性映射.在理想模型下,证明了本文的混淆器是虚拟黑盒(VBB)安全的.随后,通过以GGH13映射来实例化HES,给出了一个具体的混淆方案.
作者：张煌张方国田海博
作者单位：中山大学数据科学与计算机学院,广州,510006;广东省信息安全技术重点实验室,广州,510006
母体文献：中国密码学会2017年会论文集
会议名称：中国密码学会2017年会
会议时间：2017年10月28日
会议地点：济南
主办单位：中国密码学会
语种：chi
分类号：TP3O24
关键词：密码学 混淆器 CNF电路 同态编码方案
在线出版日期：2021年4月27日
基金项目：
相似文献
相关博文
- 文件大小:
- 759.95 KB
- 下载次数:
- 60
-
高速下载
|
|
