论文部分内容阅读
围绕外包数据的计算效率和查询结果完整性问题，展开对可验证数据库的研究，提出了一个可有效更新的低存储开销公共可验证数据库模型.给出其算法形式化定义及安全模型，并利用素数阶双线性群构造了一个具体的可有效更新的低存储开销公共可验证数据库方案.该方案允许资源受限的客户将大型数据库外包到专业数据库服务提供商，不仅可以从其查询或更新数据记录，而且能够检测并验证所查询数据的完整性.方案的安全性可以规约为Square-CDH问题假设.与已有方案相比，该方案基于素数阶双线性群，提高了计算效率，并在初始化阶段构造了独立于数据