计算机研究与发展

作者：王强,周福才,玄鹏开,吴淇毓,

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

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

来源：2019年第3期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2019年第3期