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

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

A Publicly Verifiable Outsourced Database Scheme with Full Operations

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.