结合全同态加密的云端可验证搜索计算机制研究

目录

声明

1 绪论

1.1 研究背景及意义

1.2 国内外研究现状

1.2.1 全同态加密研究现状

1.2.2 可验证搜索研究现状

1.2.3 可验证计算研究现状

1.3 研究目标与内容

1.4 论文的组织结构

2 预备知识

2.1 全同态加密

2.1.1 同态加密

2.1.3 紧致性

2.1.4 部分同态加密

2.1.5 全同态加密

2.1.6 层次全同态加密

2.2 默克尔哈希树

2.3 可验证搜索

2.4 多项式分解

2.5 可验证计算

2.6 本章小结

3 改进全同态加密算法

3.1 原始全同态算法

3.1.1 RLWE问题假设

3.1.2 基本方案

3.1.3 层次全同态方案

3.2 改进全同态算法

3.2.1 改进数字删除

3.2.2 改进自举过程

3.3 本章小结

4 结合全同态的可验证搜索

4.1 模型概述

4.2 数据预处理

4.2.1 密钥和关键词集合生成

4.2.2 安全索引构建

4.3 关键词搜索

4.3.1 陷门生成

4.3.2 搜索执行

4.4 可验证设计

4.4.1 默克尔哈希树构建

4.4.2 验证结果及解密

4.5 安全性分析

4.6 简单性能模拟

4.7 本章小结

5 结合全同态的可验证计算

5.1 问题引入

5.2 模型及概述

5.2.1 系统模型

5.2.2 方案概述

5.3 详细设计

5.3.1 初始化和密钥生成

5.3.2 数据加密处理

5.3.3 计算函数评估

5.3.4 计算结果请求

5.3.5 可验证准备

5.3.6 结果验证及解密

5.4 安全性分析

5.4.1 计算安全性

5.4.2 验证安全性

5.5 实验性能评估

5.5.1 计算复杂性分析

5.5.2 模拟仿真实验分析

5.5.3 方案对比分析

5.6 本章小结

6 总结与展望

6.1 全文总结

6.2 未来展望

致谢

参考文献