Page 237 - 《软件学报》2021年第12期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
Journal of Software,2021,32(12):3901−3916 [doi: 10.13328/j.cnki.jos.006129] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

∗
全委托的公共可验证的外包数据库方案

1
2
1
周搏洋 , 陈春雨 , 王 强 , 周福才 1
1
(东北大学 软件学院,辽宁 沈阳 110169)
2 (中国科学院 沈阳自动化研究所,辽宁 沈阳 110016)
通讯作者: 周福才, E-mail: fczhou@mail.neu.edu.cn

摘 要: 为解决可验证外包数据库方案存在的预处理阶段开销较大及不支持公共可验证的问题,提出了一个全委
托的公共可验证的外包数据库模型.给出了模型的架构及交互流程,对模型进行了形式化定义,并给出了模型的正确
性定义和安全性定义.利用双线性映射及可验证外包模幂运算协议,构建了一个全委托的公共可验证外包数据库方
案,且给出了各个算法的详细描述,证明了方案的正确性和安全性.其安全性可规约为 BDHE(bilinear diffie-hellman
exponent)难题.与现有方案及不进行全委托计算的方案相比,全委托的公共可验证的外包数据库方案基于可验证外
包模幂运算,将大量模幂运算外包给云处理,减小了数据拥有者的开销.理论与实验分析表明:该方案数据拥有者在
预处理阶段所需的代价更低,效率更高,适于实际应用.此外,验证过程无需私钥参与,实现了公共可验证.
关键词: 可验证数据库;可验证计算;公共可验证;全委托;双线性映射
中图法分类号: TP311

中文引用格式: 周搏洋,陈春雨,王强,周福才.全委托的公共可验证的外包数据库方案.软件学报,2021,32(12):3901−3916.
http://www.jos.org.cn/1000-9825/6129.htm
英文引用格式: Zhou BY, Chen CY, Wang Q, Zhou FC. Publicly verifiable outsourced database with full delegations. Ruan Jian
Xue Bao/Journal of Software, 2021,32(12):3901−3916 (in Chinese). http://www.jos.org.cn/1000-9825/6129.htm

Publicly Verifiable Outsourced Database with Full Delegations
1
1
2
ZHOU Bo-Yang , CHEN Chun-Yu , WANG Qiang , ZHOU Fu-Cai 1
1 (Software College, Northeastern University, Shenyang 110169, China)
2 (Shenyang Institute of Automation, Chinese Academy of Sciences, Shenyang 110016, China)
Abstract: To solve the problem of high preprocessing cost and public verifiability in the verifiable outsourced database schemes, a
publicly verifiable outsourced database with full delegation is proposed. The architecture and the definition of security and correctness of
the model are present. Based on the bilinear map and verifiable outsourced modular exponentiations protocol, a publicly verifiable
outsourced database scheme with full delegation is constructed, and each algorithm is designed in detail. The rigorous security proof is
presented under the bilinear Diffie-Hellman exponent (BDHE) problem. Compared with performing the protocol without full delegation
scheme and the existing schemes, the data owner in publicly verifiable outsourced database with full delegations scheme outsources more
operations to the cloud because of the application of the verifiable outsourced modular exponentiation operation. The theoretical analysis
and simulation confirm that the cost of the proposed scheme is lower in the preprocessing phase, which makes it more efficient and
practical. In the verification phase, any user can verify the result since the verification algorithm does not take any secret key as input.
Therefore, the proposed scheme achieves public verifiability.
Key words: verifiable database; verifiable computing; public verification; full delegation; bilinear pairing

∗ 基金项目: 国家自然科学基金(61872069); 中央高校基本科研业务费专项基金(N171704005)
Foundation item: National Natural Science Foundation of China (61872069); Fundamental Research Funds for the Central
Universities (N171704005)
收稿时间: 2020-04-11; 修改时间: 2020-05-24; 采用时间: 2020-08-13