支持全操作的公共可验证外包数据库方案

doi:10.12068/j.issn.1005-3026.2018.08.007

东北大学学报:自然科学版 ›› 2018, Vol. 39 ›› Issue (8): 1098-1103.DOI: 10.12068/j.issn.1005-3026.2018.08.007

支持全操作的公共可验证外包数据库方案

王强，玄鹏开，王红伟，周福才

(东北大学软件学院，辽宁沈阳110169)

收稿日期:2017-04-24 修回日期:2017-04-24 出版日期:2018-08-15 发布日期:2018-09-12
通讯作者: 王强
作者简介:王强(1991-)，男，辽宁桓仁人，东北大学博士研究生; 周福才(1964-)，男，辽宁沈阳人，东北大学教授，博士生导师.冯明杰(1971-)，男，河南禹州人，东北大学副教授; 王恩刚(1962-)，男，辽宁沈阳人，东北大学教授，博士生导师.
基金资助:
中央高校基本科研业务费专项资金资助项目(N151704002)；国家自然科学基金资助项目(61772127， 61472184).国家自然科学基金资助项目(51171041).

A Publicly Verifiable Outsourced Database Scheme with Full Operations

WANG Qiang， XUAN Peng-kai， WANG Hong-wei， ZHOU Fu-cai

School of Software， Northeastern University， Shenyang 110169， China.

Received:2017-04-24 Revised:2017-04-24 Online:2018-08-15 Published:2018-09-12
Contact: ZHOU Fu-cai
About author:-
Supported by:
-

摘要/Abstract

摘要： 针对当前外包数据库完整性研究方案存在的时空开销大、查询和更新效率低、无法同时支持多种SQL查询结果的完整性验证等问题，提出一个支持全操作的公共可验证外包数据库模型，并给出该模型的形式化定义和安全性定义.在模型的基础上利用双线性映射累加器和认证跳表实现了包含三方实体且支持全操作的公共可验证外包数据库方案，给出了方案中各算法的具体描述及实体间的交互过程.最后分别对方案的安全性和效率进行分析，结果表明，该方案具有不可伪造性，并具有较高的效率.

关键词: 完整性验证, 公共可验证, 外包数据库, 全操作, 双线性映射累加器

Abstract: Aiming at the existing shortcomings of outsourced database schemes including heavy temporal and spatial cost， low efficiency for query and update， and lack of the support for the complete verification of multiple SQL query results， this paper proposes a publicly verifiable outsourced database model supporting full operations. The formal definition and security definition are presented. On the basis of the model， a publicly verifiable outsourced database scheme， composed of three entities， is constructed using bilinear mapping accumulator and authenticated skip list. Also， the implement and the communication are described in detail. Finally， the security and efficiency are analyzed， respectively， which shows that the proposed scheme is with unforgeability and high efficiency.

Key words: integrity verification, public verification, outsourced database, full operation, bilinear-map accumulator

中图分类号:

TP309

王强，玄鹏开，王红伟，周福才. 支持全操作的公共可验证外包数据库方案[J]. 东北大学学报:自然科学版, 2018, 39(8): 1098-1103.

WANG Qiang， XUAN Peng-kai， WANG Hong-wei， ZHOU Fu-cai. A Publicly Verifiable Outsourced Database Scheme with Full Operations[J]. Journal of Northeastern University Natural Science, 2018, 39(8): 1098-1103.

参考文献

[1]Kellaris G，Kollios G，Nissim K，et al.Generic attacks on secure outsourced databases［C］// Proceedings of the Computer and Communications Security.［S.l.］:ACM，2016:1329-1340.
[2]Song W，Wang B，Wang Q，et al.Tell me the truth:practically public authentication for outsourced databases with multi-user modification［J］.Information Sciences，2017，387:221-237.
[3]Cheng W，Pang H H，Tan K L.Authenticating multi-dimensional query results in data publishing［C］// IFIP Annual Conference on Data and Applications Security and Privacy.Berlin:Springer-Verlag，2006:60-73.
[4]Niaz M S，Saake G.Merkle Hash Tree based techniques for data integrity of outsourced data［C/OL］.［2017-01-23］.https://pdfs.semanticscholar.org/5f8a/e87238e505aa03ea6130cdf74454d7347de9.pdf.
[5]Miao M，Ma J，Huang X，et al.Efficient verifiable databases with insertion/deletion operations from delegating polynomial functions［J］.IEEE Transactions on Information Forensics and Security，2018，13(2):511-520.
[6]Camenisch J，Kohlweiss M，Soriente C.An accumulator based on bilinear maps and efficient revocation for anonymous credentials［C］// Proceedings of the Public Key Cryptography.Irvine，2009:481-500.
[7]Parno B，Howell J，Gentry C，et al.Pinocchio:nearly practical verifiable computation［C］// IEEE Symposium on Security & Privacy.New York:IEEE，2013:238-252.
[8]Bensasson E，Chiesa A，Tromer E，et al.Succinct non-interactive zero knowledge for a von Neumann architecture［C］// Proceedings of the 23rd USENIX Security Symposium.San Diego，2014:781-796.
[9]Bensasson E，Chiesa A，Genkin D，et al.SNARKs for C:verifying program executions succinctly and in zero knowledge［C］// Proceedings of the International Cryptology Conference.Washington DC，2013:90-108.

支持全操作的公共可验证外包数据库方案

A Publicly Verifiable Outsourced Database Scheme with Full Operations

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

[1]	李福祥，霍建秋，林慕清，周福才. 基于双线性映射的公共可验证外包计算方案[J]. 东北大学学报:自然科学版, 2016, 37(5): 619-623.
[2]	沈志东，林晨，佟强. 面向移动云计算的轻量级数据完整性验证方法[J]. 东北大学学报:自然科学版, 2015, 36(11): 1562-1566.