基于双服务器模型的可公开验证多元多项式外包计算方案

doi:10.11772/j.issn.1001-9081.2017082169

计算机应用 ›› 2018, Vol. 38 ›› Issue (2): 321-326.DOI: 10.11772/j.issn.1001-9081.2017082169

基于双服务器模型的可公开验证多元多项式外包计算方案

罗小双^1,2, 杨晓元^1,2, 李聪^1,2, 王绪安^1,2

1. 武警工程大学密码工程学院, 西安 710086;
2. 网络与信息安全武警部队重点实验室, 西安 710086

收稿日期:2017-08-21 修回日期:2017-09-13 出版日期:2018-02-10 发布日期:2018-02-10
通讯作者: 杨晓元
作者简介:罗小双(1992-),男,陕西安康人,硕士,CCF会员,主要研究方向:信息安全、密码学;杨晓元(1959-),男,湖南湘潭人,教授,博士生导师,硕士,主要研究方向:信息安全、密码学;李聪(1990-),男,山东济宁人,硕士研究生,主要研究方向:公钥密码学;王绪安(1981-),男,湖北公安人,副教授,博士,主要研究方向:信息安全、密码学。
基金资助:
国家自然科学基金资助项目（U1636114，61572521）；国家密码发展基金资助项目（MMJJ20170112）；国家重点研发计划项目（2017YFB0802002）；陕西省自然科学基金资助项目（2016JQ6037）。

Publicly verifiable outsourced computation scheme for multivariate polynomial based on two-server model

LUO Xiaoshuang^1,2, YANG Xiaoyuan^1,2, LI Cong^1,2, WANG Xu'an^1,2

1. Engineering College of the Cryptography, Engineering University of the Armed Police Force, Xi'an Shaanxi 710086, China;
2. Key Laboratory of Network & Information Security under the Chinese Armed Police Force, Xi'an Shaanxi 710086, China

Received:2017-08-21 Revised:2017-09-13 Online:2018-02-10 Published:2018-02-10
Supported by:
This work is partially supported by the National Natural Science Foundation of China (U1636114, 61572521), the National Code Development Program of China (MMJJ20170112), the National Key Research and Development Program of China (2017YFB0802002), the Natural Science Foundation of Shaanxi Province (2016JQ6037).

摘要/Abstract

摘要： 结合云安全外包计算中的隐私保护问题，针对任意多元多项式函数的外包计算，利用同态加密算法和多线性映射，构造了基于双服务器模型的可公开验证外包计算方案。该方案能够保证多项式函数输入与输出的隐私性和安全性，用户或者任意第三方都可以对云服务器计算的结果进行验证，实现了可公开验证性和可用性。云返回给用户的结果处于密文状态，只有拥有解密密钥的用户才能够输出最终的结果，一定程度上保证了计算结果的安全性。分析结果表明，该方案在标准模型下能够达到输入的选择明文攻击（CPA）安全，用户的计算代价远远小于服务器以及直接计算多项式函数的计算代价。

关键词: 外包计算, 多元多项式, 同态加密, 多线性映射

Abstract: Combining with the privacy-preserving problem of secure outsourced computation in the cloud and aiming at arbitrary outsourcing multivariate polynomials, a publicly verifiable outsourced computation scheme based on two-server model was constructed by homomorphic encryption and multilinear mapping. The scheme can guarantee the privacy and security of inputs and outputs of polynomial functions, and reach the goal that users or any third party can verify the correctness of the results, thus achieving open verification and availability. The results returned by the cloud are in the state of encryption, only users who have decryption key can output the final results, which can ensure the security of computation. Besides, the scheme can achieve Chosen Plaintext Attack (CPA) security of inputs in the standard model, and the user's computational cost is much less than that of the server and direct computation.

Key words: outsourced computation, multivariate polynomial, homomorphic encryption, multilinear mapping

中图分类号:

TP309.2

罗小双, 杨晓元, 李聪, 王绪安. 基于双服务器模型的可公开验证多元多项式外包计算方案[J]. 计算机应用, 2018, 38(2): 321-326.

LUO Xiaoshuang, YANG Xiaoyuan, LI Cong, WANG Xu'an. Publicly verifiable outsourced computation scheme for multivariate polynomial based on two-server model[J]. Journal of Computer Applications, 2018, 38(2): 321-326.

参考文献

[1] ABO-ALIAN A, BADR N L, TOLBA M F. Data storage security service in cloud computing:challenges and solutions[M]//Multimedia Forensics and Security, Intelligent Systems Reference Library, vol 115. Cham:Springer, 2017:25-57.
[2] 曹珍富.密码学的新发展[J].四川大学学报(工程科学版),2015,47(1):1-12. (CAO Z F. New development of cryptography[J]. Journal of Sichuan University (Engineering Science Edition), 2015, 47(1):1-12.)
[3] GENNARO R, GENTRY C, PARNO B. Non-interactive verifiable computing:outsourcing computation to untrusted workers[C]//CRYPTO 2010:Proceedings of the 2010 Conference on Advances in Cryptology, LNCS 6223. Berlin:Springer, 2010:465-482.
[4] 李勇,曾振宇,张晓菲.支持属性撤销的外包解密方案[J].清华大学学报(自然科学版),2013,53(12):1664-1669. (LI Y, ZENG Z Y, ZHANG X F. Outsourced decryption scheme supporting attribute revocation[J]. Journal of Tsinghua University (Science and Technology), 2013, 53(12):1664-1669.)
[5] BENABBAS S, GENNARO R, VAHLIS Y. Verifiable delegation of computation over large datasets[C]//CRYPTO 2011:Proceedings of the 2011 Annual Cryptology Conference, LNCS 6841. Berlin:Springer, 2011:111-131.
[6] BARBOSA M, FARSHIM P. Delegatable homomorphic encryption with applications to secure outsourcing of computation[C]//CT-RSA 2012:Proceedings of the Cryptographers' Track at the RSA Conference, LNCS 7178. Berlin:Springer, 2011:296-312.
[7] FIORE D, GENNARO R. Publicly verifiable delegation of large polynomials and matrix computations, with applications[C]//CCS'12:Proceedings of the 2012 ACM Conference on Computer and Communications Security. New York:ACM, 2012:501-512.
[8] ZHANG L F, SAFAVI-NAINI R. Private outsourcing of polynomial evaluation and matrix multiplication using multilinear maps[C]//Proceedings of the 12th International Conference on Cryptology and Network Security, LNCS 8257. Cham:Springer, 2013:329-348.
[9] 任艳丽,谷大武,蔡建兴,等.隐私保护的可验证多元多项式外包计算方案[J].通信学报,2015,36(8):23-30. (REN Y L, GU D W, CAN J X, et al. Verifiably private outsourcing scheme for multivariate polynomial evaluation[J]. Journal on Communications, 2015, 36(8):23-30.)
[10] PAPAMANTHOU C, SHI E, TAMASSIA R. Signatures of correct computation[C]//Proceedings of the 10th Theory of Cryptography Conference on Theory of Cryptography, LNCS 7785. Berlin:Springer, 2013:222-242.
[11] FIORE D, GENNARO R, PASTRO V. Efficiently verifiable computation on encrypted data[C]//CCS'14:Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security. New York:ACM, 2014:844-855.
[12] ZHANG L F, SAFAVI-NAINI R. Batch verifiable computation of polynomials on outsourced data[C]//ESORICS 2015:Proceedings of the 2015 European Symposium on Research in Computer Security, LNCS 9327. Cham:Springer, 2015:167-185.
[13] SUN Y, YU Y, LI X, et al. Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations[C]//Proceedings of the 21st Australasian Conference on Information Security and Privacy:Part I, LNCS 9722. Cham:Springer, 2016:293-309.
[14] GARG S, GENTRY C, HALEVI S. Candidate multilinear maps from ideal lattices[C]//EUROCRYPT 2013:Proceedings of the 2013 Annual International Conference on the Theory and Applications of Cryptographic Techniques, LNCS 7881. Berlin:Springer, 2012:1-17.
[15] BONEH D, GOH E-J, NISSIM K. Evaluating 2-DNF formulas on ciphertexts[C]//TCC 2005:Proceedings of the 2005 Theory of Cryptography Conference, LNCS 3378. Berlin:Springer, 2005:325-341.

基于双服务器模型的可公开验证多元多项式外包计算方案

Publicly verifiable outsourced computation scheme for multivariate polynomial based on two-server model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	郑尚文, 刘尧, 周潭平, 杨晓元. 优化的基于错误学习问题的CKKS方案[J]. 计算机应用, 2021, 41(6): 1723-1728.
[2]	杜志强, 郑东, 赵庆兰. 可验证的大规模矩阵满秩分解的安全外包[J]. 计算机应用, 2021, 41(5): 1367-1371.
[3]	郭丽峰, 王倩丽. 自适应安全的带关键字搜索的外包属性基加密方案[J]. 《计算机应用》唯一官方网站, 2021, 41(11): 3266-3273.
[4]	马敏耀, 刘卓, 徐艺, 吴恋. 隐私保护整数区间位置关系判定问题[J]. 计算机应用, 2020, 40(9): 2657-2664.
[5]	马敏耀, 吴恋, 刘卓, 徐艺. 隐私保护整数点和区间关系判定问题[J]. 计算机应用, 2020, 40(7): 1983-1988.
[6]	车小亮, 周昊楠, 周潭平, 李宁波, 杨晓元. 基于NTRU的多密钥同态加密方案解密结构[J]. 计算机应用, 2020, 40(7): 1959-1964.
[7]	马敏耀, 徐艺, 刘卓. 隐私保护DNA序列汉明距离计算问题[J]. 计算机应用, 2019, 39(9): 2636-2640.
[8]	余卿斐, 涂广升, 李宁波, 周潭平. 多跳多策略属性基全同态加密方案[J]. 计算机应用, 2019, 39(8): 2326-2332.
[9]	涂广升, 杨晓元, 周潭平. 高效的身份基多用户全同态加密方案[J]. 计算机应用, 2019, 39(3): 750-755.
[10]	李聪, 杨晓元, 白平, 王绪安. 可追责和完全可验证外包解密CP-ABE方案[J]. 计算机应用, 2018, 38(8): 2249-2255.
[11]	张恩, 金刚刚. 基于同态加密和Bloom过滤器的云外包多方隐私集合比较协议[J]. 计算机应用, 2018, 38(8): 2256-2260.
[12]	白平, 张薇. 多属性环境下基于容错学习的全同态加密方案[J]. 计算机应用, 2018, 38(5): 1377-1382.
[13]	代小康, 陈长波, 吴文渊. 基于同态门限密码体制的投票协议[J]. 计算机应用, 2018, 38(4): 1036-1040.
[14]	李镇林, 张薇, 白平, 王绪安. 基于属性的BGN型密文解密外包方案[J]. 计算机应用, 2017, 37(8): 2287-2291.
[15]	李镇林, 张薇, 戴晓明. 支持安全多方同态乘积计算的谓词加密方案[J]. 计算机应用, 2017, 37(4): 999-1003.