隐私保护的可验证多元多项式外包计算方案

被引：6

作者：

任艳丽 ^{[1
]}

谷大武 ^{[2
]}

蔡建兴 ^{[1
]}

黄春水 ^{[1
]}

机构：

[1] 上海大学通信与信息工程学院

[2] 上海交通大学电子信息与电气工程学院

来源：

通信学报 | 2015年 / 36卷 / 08期

基金：

上海市自然科学基金;

关键词：

云计算; 大数据; 多元多项式; 可验证外包计算; 多线性映射;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。

引用

页码：23 / 30

页数：8

共 14 条

[1] Outsourcing the decryption of ABE ciphertexts. GREEN M,HOHENBERGER S,WATERS B. http://static.usenix.org/events/sec11/tech/full-papers/Green.pdf .
[2] Verifiable delegation of computation over large datasets. BENABBAS S,GENNARO R,VAHLIS Y. CRYPTO 2011 . 2011
[3] Publicly verifiable delegation of large polynomials and matrix computations with applications. FIORE D,GENNARO R. ACM CCS 2012 . 2012
[4] Verifiable evaluation of private polynomials. MA X,ZHANG F,LI J. The Fourth International Conference on Emerging Intelligent Data and Web Technologies . 2013
[5] Candidate multilinear maps from ideal lattices. GARG S,GENTRY C,HALEVI S. EUROCRYPT 2013 . 2013
[6] Attribute-based encryption for circuits from multilinear maps. GARG S,GENTRY C,HALEVI S,SAHAI A,WATERS B. CRYPTO 2013 . 2013
[7] Attributebased encryption with verifiable outsourced decryption. Lai Junzuo,Deng R,Guan Chaowen,et al. IEEE Trans on Information Forensics and Security . 2013
[8] Improved delegation of computation using fully homomorphic encryption. CHUNG K M,KALAI Y,VADHAN S P. CRYPTO 2010 . 2010
[9] From secrecy to soundness:efficient verification via secure computation. APPLEBAUM B,ISHAI Y,KUSHILEVITZ E. ICALP 2010 . 2010
[10] How to delegate and verify in public:verifiable computation from attribute-based encryption. PARNO B,RAYKOVA M,VAIKUNTANATHAN V. TCC 2012 . 2012

← 1 2 →