数据库查询验证方法研究

发布时间：2023-02-26 16:52

　　随着云计算的迅猛发展,越来越多的企业和个人把数据外包到位于公有云的数据库系统上管理,这能够大大降低企业和个人的计算负担,提高环境和资源的利用率。然而,数据库安全和隐私保护方面的顾虑已经成为阻隔用户更广泛的采用云计算和云数据库的一大因素,因此,数据库查询验证成为了重要课题。本文会对保证数据库可验证查询的实现技术进行深入探讨,提出一种具有求和功能的可用于数据库的验证查询方案,动态集合可验证方案,以及一个能保证公开用户聚合验证查询的数据库方案模型,具体成果如下:(1)本文提出了一种具有求和功能的可用于数据库的验证查询方案,动态集合可验证方案。方案是基于双线性累加器设计的。现存的方案都只支持交集和并集查询,本方案提出一种带有集合求和的集合动态可验证方案,本方案可用于数据库可验证查询的表格的连接查询。客户端查询的复杂度都只与查询涉及到的集合的个数和查询结果大小有关,而与涉及到的集合的大小无关,这就保证了客户端的操作复杂度的降低。(2)本文提出了一个支持聚合验证的数据库模型方案。在该模型中,数据拥有者将数据存储到外包数据库上去,客户端可以实现对数据的查询和验证过程,关键技术用到了一个由双线性累加器...

【文章页数】：75 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第一章 绪论
    1.1 研究工作的背景和意义
    1.2 国内外研究现状
    1.3 本论文工作内容
    1.4 本论文组织结构
第二章 预备知识
    2.1 数学基础知识
        2.1.1 双线性对
        2.1.2 q-DH假设
        2.1.3 哈希函数
        2.1.4 可证明安全性理论
    2.2 数据结构
        2.2.1 哈希表
        2.2.2 Merkle Hash Tree
    2.3 数据库查询验证模型及主要技术
        2.3.1 数据库查询验证模型
        2.3.2 数据库的安全问题
        2.3.3 数据库查询验证的关键技术
    2.4 本章小结
第三章 动态集合操作的最优验证
    3.1 研究动机
    3.2 预备知识
        3.2.1 形式化定义可认证数据结构
        3.2.2 复杂性模型
        3.2.3 双线性累加器模型
        3.2.4 多项式计算工具
        3.2.5 可认证数据结构方案
    3.3 协议的详细构造
        3.3.1 Setup初始化算法和Update更新算法
        3.3.2 查询Query和验证Verification
    3.4 安全性分析
    3.5 本章小结
第四章 具有聚合验证功能的可验证查询数据库方案
    4.1 研究动机
    4.2 系统模型
    4.3 预备知识介绍
        4.3.1 数据库支持的SQL查询语句说明
        4.3.2 基于双线性映射累加器的可验证集合操作数据结构
        4.3.3 区间树
    4.4 数据库模型的详细构造
        4.4.1 初始化算法
        4.4.2 连接查询
        4.4.3 多维范围查询
        4.4.4 SQL函数查询
        4.4.5 相似度查询
        4.4.6 更新操作
        4.4.7 嵌套查询
    4.5 方案评估
        4.5.1 安全性分析
        4.5.2 功能性分析
        4.5.3 性能分析
    4.6 本章小结
第五章 结论
    5.1 全文总结
    5.2 未来工作展望
致谢
参考文献
攻硕期间参与的科研项目



本文编号：3750546