基于双线性映射的公共可验证外包计算方案

doi:10.12068/j.issn.1005-3026.2016.05.003

东北大学学报:自然科学版 ›› 2016, Vol. 37 ›› Issue (5): 619-623.DOI: 10.12068/j.issn.1005-3026.2016.05.003

基于双线性映射的公共可验证外包计算方案

李福祥¹，霍建秋²，林慕清¹，周福才²

(1. 东北大学计算机科学与工程学院，辽宁沈阳110819； 2. 东北大学软件学院，辽宁沈阳110819)

收稿日期:2015-03-11 修回日期:2015-03-11 出版日期:2016-05-15 发布日期:2016-05-13
通讯作者: 李福祥
作者简介:李福祥(1984-)，男，辽宁沈阳人，东北大学博士研究生；周福才(1964－)，男，吉林长春人，东北大学教授，博士生导师.
基金资助:
国家自然科学基金资助项目(61300196)；中央高校基本科研业务费专项资金(N130317003)；国家科学技术重大专项资助项目(2013ZX03002006)；辽宁省科技计划项目(2013217004)；沈阳自然科学基金资助项目(F14-231-1-08).

Bilinear Map-based Public Verifiable Outsourced Computation Scheme

LI Fu-xiang¹， HUO Jian-qiu¹， LIN Mu-qing¹， ZHOU Fu-cai²

1. School of Computer Science & Engineering， Northeastern University， Shenyang 110819， China; 2.School of Software， Northeastern University， Shenyang 110819， China.

Received:2015-03-11 Revised:2015-03-11 Online:2016-05-15 Published:2016-05-13
Contact: ZHOU Fu-cai
About author:-
Supported by:
-

摘要/Abstract

摘要： 已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证，但也需要将自身验证密钥交给授权用户.针对上述不足，提出一个支持公共验证的外包计算模型，给出其算法形式化定义及安全模型，并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案，给出了方案算法的具体描述、实体间的通信协议以及效率分析，方案验证无需私钥参与，实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性，其安全性可归约于l-SBDH问题的困难性.

关键词: 双线性映射, 公共可验证, 外包计算, 不可伪造性, 可验证计算

Abstract: There are two shortcomings for the existing verifiable computation schemes. One is that only the owner who outsourced the computation can verify the result， and the other is when the owner authorizes other users to verify the result， he has to send his secret key to all the authorized users. In order to overcome the problems， an outsourced computation model was proposed which supports the public verification. The description and security model were formalized and a publicly verifiable outsourced computation scheme， which is based on the bilinear map and contains three entities， was also presented. The algorithm implementation and the communication protocol were also described in details. The verification phase in the scheme does not need the owner’s secret key so it can be publicly verifiable. The scheme can be proved to satisfy unforgeability in the security model， and the security can be reduced to the hardness of the l-SBDH problem.

Key words: bilinear map, public verifiable, outsourced computation, unforgeability, verifiable computation

中图分类号:

TP309.2

李福祥，霍建秋，林慕清，周福才. 基于双线性映射的公共可验证外包计算方案[J]. 东北大学学报:自然科学版, 2016, 37(5): 619-623.

LI Fu-xiang， HUO Jian-qiu， LIN Mu-qing， ZHOU Fu-cai. Bilinear Map-based Public Verifiable Outsourced Computation Scheme[J]. Journal of Northeastern University Natural Science, 2016, 37(5): 619-623.

参考文献

[1]Green M，Hohenberger S，Waters B.Outsourcing the decryption of ABE ciphertexts［C］//Procceding of the 20th USENIX Cnference on Security.San Francisco，2011:34-34.
[2]Chung K M，Kalai Y，Vadhan S.Improved delegation of computation using fully homomorphic encryption［M］.Berlin:Springer，2010:483-501.
[3]Anderson D P，Cobb J，Korpela E，et al.SETI@Home:an experiment in public-resource computing［J］.Communications of the ACM， 2002，45(11):56-61.
[4]Gennaro R，Gentry C，Parno B.Non-interactive verifiable computing:outsourcing computation to untrusted workers［M］.Berlin:Springer，2010:465-482.
[5]Yao A.Protocols for secure computations［C］//Procceding of the 23rd Annual Symposium on Foundations of Computer Science.New York，1982:160-164.
[6]Gentry C.A fully homomorphic encryption scheme［D］.Stanford:Stanford University，2009.
[7]Barbosa M，Farshim P.Delegatable homomorphic encryption with applications to secure outsourcing of computation［M］.Berlin:Springer，2012:296-312.
[8]Goldwasser S，Kalai Y T，Rothblum G N.Delegating computation:interactive proofs for muggles［C］//Procceding of the 40th Annual ACM Symposium on Theory of Computing.Victoria，2008:113-122.
[9]Bitansky N，Canetti R，Chiesa A，et al.From extractable collision resistance to succinct non-interactive arguments of knowledge，and back again［C］//Procceding of the 3rd Innovations in Theoretical Computer Science Conference.Cambridge，2012:326-349.
[10]Parno B，Raykova M，Vaikuntanathan V.How to delegate and verify in public:verifiable computation from attribute-based encryption［M］.Berlin:Springer，2012:422-439.
[11]靳方元，朱艳琴，罗喜召.基于可验全同态加密的委托计算方案［J］，计算机工程，2012，38(23):150-153.(Jin Fang-yuan，Zhu Yan-qin，Luo Xi-zhao.Delegation of computation scheme basedon verifiable fully homomorphic encryption［J］.Computer Engineering，2012，38(23):150-153.)
[12]Papamanthou C，Tamassia R，Triandopoulos N.Optimal verification of operations on dynamic sets［M］//Advances in Cryptology-CRYPTO 2011.Berlin:Springer，2011:91-110.
[13]Canetti R，Paneth O，Papadopoulos D N.Triandopoulos，verifiable set operations over outsourced databases［M］.Berlin:Springer，2014:113-130.
[14]Zheng Q，Xu S.Verifiable delegated set intersection operations on outsourced encrypted data［C］//Procceding of the 2015 IEEE International Conference on Cloud Engineering(IC2E).Tempe，2015:175-184.
[15]Kamara S，Mohassel P，Raykova M，et al.Scaling private set intersection to billion-element sets［M］//Financial Cryptography and Data Security.Berlin:Springer，2014:195-215.

基于双线性映射的公共可验证外包计算方案

Bilinear Map-based Public Verifiable Outsourced Computation Scheme

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价