软件学报

作者：赵青松,曾庆凯,刘西蒙,徐焕良

单位：赵青松，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 210023;南京农业大学 信息科技学院, 江苏 南京 21009511,曾庆凯，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023;南京大学 计算机科学与技术系, 江苏 南京 21002302,刘西蒙，福州大学 数学与计算机科学学院, 福建 福州 350117;School of Information Systems, Singapore Management University, Singapore 178902, Singapore03,徐焕良，南京农业大学 信息科技学院, 江苏 南京 21009504

关键词：可验证计算;可重随机化混淆电路;同态加密;密码转置防火墙

基金：国家自然科学基金（61772266，61572248，61431008，61702105）

Yao的混淆电路可用于客户端将函数计算外包给服务器，并可验证其正确性.然而，混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路，可实现客户端和服务器在多次输入上重用混淆电路.但是，所有已知的全同态加密在效率的提高上似乎仍有很大的空间，并且需要较强的困难性假设.另一方面，Gennaro等人的方案只能在敌手不能对客户端发起任何数量的验证查询这种较弱的模型下被证明是安全的.部分同态加密的困难性假设要弱于全同态加密，虽然只支持数量有限的同态操作，但比全同态加密运行速度更快、更加紧凑.提出了一个使用加同态加密的可验证计算方案.它基于DDH假设，能够容忍任意数量的恶意验证查询，采用的主要技术是可重随机化的混淆电路.该技术可以实现重随机化的混淆电路分布与原有的混淆电路分布在计算上是不可区分的.另外，也给出了一种使用可重随机化的混淆电路构造密码转置防火墙方案，称为可重用密码转置防火墙.也就是说，混淆电路可生成1次，接下来，密码转置防火墙可安全地重随机化和重用多次.

来源：2019年第2期

《软件学报》期刊编辑部

查看软件学报杂志2019年第2期