基于双线性映射的支持全操作的公共可验证外包数据库模型

摘要：

为解决现有可验证外包数据库方案存在的查询类型较单一、更新和验证代价较高、数据膨胀率较大、效率较低难以应用于实际等问题,提出了一个基于双线性映射的支持全操作的公共可验证外包数据库(publicly verifiable database model with full operations based on bilinear map,BMPVDB)模型.给出了该模型的架构及交互流程,并对该模型进行了形式化定义,针对该模型的安全需求给出了该模型的安全性定义.利用双线性映射构造了一个高效且支持全操作的公共可验证外包数据库方案,并对该方案中各算法进行了详细描述,证明了该方案的安全性,其安全性可归约为q-BSDH (bilinear q-strong Diffie-Hellman)和VBDHE(variant of bilinear Diffie-Hellman exponent)难题.最后将该方案与现有方案进行了对比,理论与实验分析表明:该方案功能更全面(各类集合操作、函数查询、嵌套查询)、更新与验证代价更低为常数级、数据膨胀率更低、效率更高可应用于实际.此外,该方案的验证与更新无需私钥参与,拥有公钥和摘要的用户均可进行验证与更新,实现了公共可验证和公共可更新.

关键词：双线性映射、外包数据库、全操作、公共可验证、动态更新

所属期刊栏目：56

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金项目61772127,61472184,61321491;国家自然科学基金青年科学基金项目61703088;中央高校基本科研业务费专项资金项目N151704002

在线出版日期：2019-06-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：521-532