| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第1章 绪论 | 第13-27页 |
| 1.1 研究背景 | 第13-16页 |
| 1.2 可验证计算研究分类 | 第16-17页 |
| 1.3 国内外研究现状和存在问题 | 第17-23页 |
| 1.3.1 典型可验证外包计算方案 | 第18-22页 |
| 1.3.2 方案功能和性能比较 | 第22-23页 |
| 1.4 研究内容与创新点 | 第23-25页 |
| 1.4.1 研究内容 | 第23-24页 |
| 1.4.2 创新点 | 第24-25页 |
| 1.5 本文的组织结构 | 第25-27页 |
| 第2章 基础知识 | 第27-43页 |
| 2.1 数学基础 | 第27-28页 |
| 2.2 可验证计算基础 | 第28-32页 |
| 2.2.1 私自可验证计算 | 第28-30页 |
| 2.2.2 公共可验证计算 | 第30-32页 |
| 2.3 双线性映射及相关假设 | 第32-34页 |
| 2.3.1 双线性映射基础 | 第32-33页 |
| 2.3.2 双线性映射聚合器 | 第33页 |
| 2.3.3 双线性映射相关假设 | 第33-34页 |
| 2.4 属性基加密 | 第34-37页 |
| 2.4.1 密文策略属性基加密 | 第34-35页 |
| 2.4.2 密钥策略属性基加密 | 第35-36页 |
| 2.4.3 可撤销的KP-ABE | 第36-37页 |
| 2.5 非交互式代理不经意传输 | 第37-38页 |
| 2.5.1 模型的形式化定义 | 第37-38页 |
| 2.5.2 基于NIKE的NIPOT方案 | 第38页 |
| 2.6 混乱电路 | 第38-39页 |
| 2.7 全同态加密 | 第39-40页 |
| 2.8 数字签名 | 第40-41页 |
| 2.9 本章小结 | 第41-43页 |
| 第3章 基于BM的公共可验证外包多项式计算方法 | 第43-55页 |
| 3.1 引言 | 第43-44页 |
| 3.2 PVOC模型 | 第44-47页 |
| 3.2.1 模型的形式化定义 | 第45-46页 |
| 3.2.2 模型的安全性定义 | 第46-47页 |
| 3.3 基于BM的PVOPE方案 | 第47-49页 |
| 3.3.1 方案详细描述 | 第47-49页 |
| 3.3.2 关键技术 | 第49页 |
| 3.4 正确性和安全性证明 | 第49-52页 |
| 3.4.1 正确性证明 | 第49-50页 |
| 3.4.2 安全性证明 | 第50-52页 |
| 3.5 效率分析 | 第52-54页 |
| 3.6 本章小结 | 第54-55页 |
| 第4章 基于ANIPOT的多客户非交互式可验证外包计算方法 | 第55-75页 |
| 4.1 引言 | 第55-56页 |
| 4.2 MNVOC模型 | 第56-61页 |
| 4.2.1 模型的形式化定义 | 第57-59页 |
| 4.2.2 模型的安全性定义 | 第59-61页 |
| 4.3 基于ANIPOT的MNVOC方案 | 第61-68页 |
| 4.3.1 基于CP-ABE的ANIPOT方案 | 第62-66页 |
| 4.3.2 MNVOC方案 | 第66-68页 |
| 4.4 正确性和安全性证明 | 第68-73页 |
| 4.4.1 正确性证明 | 第68-69页 |
| 4.4.2 安全性证明 | 第69-73页 |
| 4.5 效率分析 | 第73-74页 |
| 4.6 本章小结 | 第74-75页 |
| 第5章 基于BMA的可验证外包交集计算方法 | 第75-95页 |
| 5.1 引言 | 第75-76页 |
| 5.2 面向明文的可验证外包交集计算方案 | 第76-83页 |
| 5.2.1 PVOI模型 | 第76-79页 |
| 5.2.2 PVOI方案 | 第79-80页 |
| 5.2.3 正确性和安全性证明 | 第80-82页 |
| 5.2.4 效率分析 | 第82-83页 |
| 5.3 面向密文的可验证外包交集计算方案 | 第83-93页 |
| 5.3.1 CVOI模型 | 第83-87页 |
| 5.3.2 CVOI方案 | 第87-89页 |
| 5.3.3 正确性与安全性证明 | 第89-92页 |
| 5.3.4 效率分析 | 第92-93页 |
| 5.5 本章小结 | 第93-95页 |
| 第6章 基于RKPABE的可撤销公共可验证外包计算方法 | 第95-141页 |
| 6.1 引言 | 第95-96页 |
| 6.2 RPVOC模型 | 第96-104页 |
| 6.2.1 模型的形式化定义 | 第98-99页 |
| 6.2.2 模型的安全性定义 | 第99-104页 |
| 6.3 基于RKPABE的RPVOC方案 | 第104-110页 |
| 6.3.1 初始化算法 | 第104-105页 |
| 6.3.2 注册算法 | 第105页 |
| 6.3.3 认证算法 | 第105-106页 |
| 6.3.4 输入处理算法 | 第106-107页 |
| 6.3.5 计算执行算法 | 第107-108页 |
| 6.3.6 盲验证算法 | 第108-109页 |
| 6.3.7 输出恢复算法 | 第109页 |
| 6.3.8 撤销算法 | 第109-110页 |
| 6.4 正确性和安全性证明 | 第110-120页 |
| 6.4.1 正确性证明 | 第110-111页 |
| 6.4.2 安全性证明 | 第111-120页 |
| 6.5 RPVOC原型系统 | 第120-138页 |
| 6.5.1 系统功能设计 | 第120-121页 |
| 6.5.2 类的设计 | 第121-124页 |
| 6.5.3 系统功能实现 | 第124-133页 |
| 6.5.4 系统测试 | 第133-138页 |
| 6.6 本章小结 | 第138-141页 |
| 第7章 总结与展望 | 第141-145页 |
| 7.1 本文工作总结 | 第141-142页 |
| 7.2 未来工作展望 | 第142-145页 |
| 参考文献 | 第145-153页 |
| 致谢 | 第153-155页 |
| 攻读博士学位期间的主要成果 | 第155-156页 |