| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 表格索引 | 第11-12页 |
| 插图索引 | 第12-13页 |
| 主要符号对照表 | 第13-14页 |
| 第一章 绪论 | 第14-18页 |
| ·研究背景 | 第14-15页 |
| ·国内外研究现状 | 第15-16页 |
| ·研究内容及主要贡献 | 第16-17页 |
| ·本文组织结构 | 第17-18页 |
| 第二章 可证明数据持有模型和方案概述 | 第18-32页 |
| ·PDP模型和POR模型 | 第18-21页 |
| ·私有验证（Private Verifiability） | 第21-22页 |
| ·同态消息认证码（Homomorphic MAC） | 第21-22页 |
| ·一个支持私有验证的PDP方案 | 第22页 |
| ·公开验证（Public Verifiability） | 第22-25页 |
| ·同态消息签名（Homomorphic Signature） | 第23-24页 |
| ·一个支持公开验证的PDP方案 | 第24-25页 |
| ·动态数据更新（Data Dynamics） | 第25-28页 |
| ·动态更新需要解决的问题 | 第26页 |
| ·带rank信息的Merkel Hash Tree | 第26-28页 |
| ·PDP的性能指标 | 第28-29页 |
| ·本章小结 | 第29-32页 |
| 第三章 支持批量标签验证和批量数据更新的PDP模型 | 第32-40页 |
| ·动态PDP模型改进的目标 | 第32-35页 |
| ·批量标签验证 | 第32-33页 |
| ·批量更新验证 | 第33-35页 |
| ·改进的动态PDP模型 | 第35-37页 |
| ·本章小结 | 第37-40页 |
| 第四章 支持批量标签验证和批量数据更新的PDP方案 | 第40-60页 |
| ·BA23-Tree | 第40-44页 |
| ·2-3认证树的定义 | 第40-41页 |
| ·BA23-Tree的认证结构 | 第41-42页 |
| ·BA23-Tree的更新算法 | 第42-44页 |
| ·BA23-Tree的批量标签验证 | 第44-48页 |
| ·单个标签的验证路径 | 第44-45页 |
| ·批量标签的聚合验证路径和验证算法 | 第45-48页 |
| ·批量标签验证的推广 | 第48页 |
| ·BA23-Tree的批量更新验证 | 第48-52页 |
| ·批量更新验证过程简述 | 第48-49页 |
| ·聚合验证路径的更新算法 | 第49-52页 |
| ·支持批量标签验证和批量数据更新的PDP方案构造 | 第52-56页 |
| ·仿真实验和性能分析 | 第56-57页 |
| ·本章小结 | 第57-60页 |
| 第五章 公开验证条件下的隐私保护 | 第60-68页 |
| ·背景及问题描述 | 第60-61页 |
| ·公开验证PDP模型的受信边界 | 第61-62页 |
| ·聚合数据块的盲化处理 | 第62-66页 |
| ·基于整个数据块的盲化 | 第62-64页 |
| ·基于数据块区块的盲化 | 第64-66页 |
| ·本章小结 | 第66-68页 |
| 全文总结 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-76页 |
| 攻读学位论文期间发表的学术论文目录 | 第76页 |
