摘要
由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x-1,···, x_n)作为函数f的输入,将计算f (x_1,···, x_n)的工作外包给两个不合谋的服务器S_1和S_2, S_2计算并返回结果, S_1使用指定用户的公钥执行加密操作为指定用户提供一个验证最终结果正确的证明.与已有的方案相比,本文方案满足选择性公开可验证性,即只有指定的用户可以使用自己的私钥验证返回结果是否正确并获得正确的结果,从而可以有效地防止敏感性数据信息被权限之外的人获知;还提高了用户的效率,并且不需要用户间和服务器间进行交互;此外,在某个服务器存在恶意行为的情形下本文方案满足所定义的隐私性和可靠性.本文方案可以避免在云环境中因信息泄露给用户带来损失,具有一定的现实意义.
As the analysis and processing of data is becoming more and more dependent on computer capacity,users prefer to outsource their complex computing tasks to a more powerful server.This paper studies outsourced computation in the setting of dual-server and multi-user,which allows users with weak computing power to outsource the computation of function f on their collective input(x1,· · ·,xn)to two non-collaborating severs S1 and S2.S2 is responsible for computing and returning the result,while S1 uses the public key of specified user to execute the encryption operation in order to provide a proof of the correctness for the final result.Compared with previous schemes,the proposed scheme satisfies selective public verifiability,namely only specified users can use their own private key to verify the correctness of the returned results,hence the sensitive data can be effectively kept secret to unauthorized users.It also improves the efficiency of computation and avoids unnecessary interaction among servers and among users.In addition,this scheme meets the defined privacy and reliability requirements in the case of malicious behavior of a server.The proposed scheme is of certain practical significance in terms of avoiding damage caused by information leakage in the cloud environment.
作者
杨海宁
秦静
孙加萌
朱斌瑞
YANG Hai-Ning;QIN Jing;SUN Jia-Meng;ZHU Bin-Rui(School of Mathematics,Shandong University,Jinan 250100,China;State Key Laboratory of Information Security,Institute of Information Engineering,Chinese Academy of Sciences,Beijing 100093,China)
出处
《密码学报》
CSCD
2018年第6期599-611,共13页
Journal of Cryptologic Research
基金
国家自然科学基金(61272091,61772311)
山东省自然科学基金面上项目(ZR2012FM005)~~
关键词
混淆电路
外包计算
双服务器
选择性公开可验证
garbled circuits
outsourced computation
dual-server
selectively public verification
作者简介
杨海宁(1993-),山东菏泽人,硕士生.主要研究领域为信息安全.hainingcode@163.com;通信作者:秦静(1960-),山东济南人,博士,教授,博士生导师.主要研究领域为信息安全.E-mail:qinjing@sdu.edu.cn;孙加萌(1991-),山东济宁人,博士生.主要研究领域为信息安全.15106975890@163.com;朱斌瑞(1990-),山东青岛人,博士生.主要研究领域为信息安全.zhubinrui1509889@163.com
