| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第10-17页 |
| 1.1 云存储的背景 | 第10-11页 |
| 1.2 支持动态操作的可证明数据拥有方案的研究现状 | 第11-14页 |
| 1.3 主要贡献与创新 | 第14-16页 |
| 1.4 章节安排 | 第16-17页 |
| 第二章 密码学基础知识 | 第17-26页 |
| 2.1 困难问题 | 第17-20页 |
| 2.1.1 大整数分解困难问题 | 第17-18页 |
| 2.1.2 离散对数困难问题 | 第18页 |
| 2.1.3 双线性对与Diffie-Hellman问题 | 第18-20页 |
| 2.2 椭圆曲线 | 第20-21页 |
| 2.3 Hash函数 | 第21-22页 |
| 2.4 随机预言机和可证明安全 | 第22-24页 |
| 2.4.1 随机预言机模型 | 第22-23页 |
| 2.4.2 可证明安全 | 第23-24页 |
| 2.5 本章小结 | 第24-26页 |
| 第三章 现有的支持动态操作的可证明数据拥有技术 | 第26-38页 |
| 3.1 DPDP的基本概念 | 第26-32页 |
| 3.1.1 DPDP的理想特性 | 第27页 |
| 3.1.2 三种常用的数据结构 | 第27-32页 |
| 3.2 对Erway等的基于认证跳表的DPDP方案的分析 | 第32-33页 |
| 3.2.1 方案回顾 | 第32-33页 |
| 3.2.2 RASL-DPDP方案的分析 | 第33页 |
| 3.3 对Wang等的基于mMHT的DPDP方案的分析 | 第33-37页 |
| 3.3.1 方案回顾 | 第34-35页 |
| 3.3.2 mMHT-DPDP方案的分析 | 第35-37页 |
| 3.4 本章小结 | 第37-38页 |
| 第四章 支持全动态操作的单文件远程数据拥有检测方案 | 第38-58页 |
| 4.1 问题提出 | 第38-39页 |
| 4.2 问题描述 | 第39-41页 |
| 4.2.1 系统模型 | 第40页 |
| 4.2.2 安全模型 | 第40-41页 |
| 4.3 RDPC协议的安全性 | 第41-43页 |
| 4.3.1 协议上的重放攻击 | 第42页 |
| 4.3.2 改进协议上的删除攻击 | 第42-43页 |
| 4.4 支持全动态操作的单文件远程数据拥有检测方案描述 | 第43-47页 |
| 4.4.1 方案描述 | 第44-46页 |
| 4.4.2 动态更新操作 | 第46-47页 |
| 4.5 性能分析 | 第47-54页 |
| 4.5.1 效率评估 | 第47-50页 |
| 4.5.2 实验结果 | 第50-54页 |
| 4.6 安全性证明 | 第54-57页 |
| 4.7 本章小结 | 第57-58页 |
| 第五章 支持全动态操作的多副本可证明数据拥有方案 | 第58-74页 |
| 5.1 问题提出 | 第58-60页 |
| 5.2 问题描述 | 第60-63页 |
| 5.2.1 系统模型 | 第60-61页 |
| 5.2.2 安全模型 | 第61-62页 |
| 5.2.3 设计目标 | 第62-63页 |
| 5.3 支持全动态操作的多副本可证明数据拥有方案描述 | 第63-68页 |
| 5.3.1 方案描述 | 第63-65页 |
| 5.3.2 动态更新操作 | 第65-68页 |
| 5.4 性能分析 | 第68-71页 |
| 5.4.1 效率评估 | 第68-70页 |
| 5.4.2 实验结果 | 第70-71页 |
| 5.5 安全性证明 | 第71-73页 |
| 5.6 本章小结 | 第73-74页 |
| 第六章 全文总结与展望 | 第74-76页 |
| 6.1 全文总结 | 第74页 |
| 6.2 后续工作展望 | 第74-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-82页 |
| 在学期间取得的与学位论文相关的研究成果 | 第82-83页 |
