第一章 绪论
1.1 研究工作的背景和意义
1.2 国内外研究现状
1.3 本论文工作内容
1.4 本论文组织结构
第二章 预备知识
2.1.1 双线性对
2.1.2 q-DH假设
2.1.3 哈希函数
2.1.4 可证明安全性理论
2.2.1 哈希表
2.2.2 Merkle Hash Tree
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 未来工作展望
致谢
参考文献
攻硕期间参与的科研项目
