文档介绍：云存储中数据完整性证明
计算机学报
1
ppt课件完整
数据完整性证明
必要性：
1、服务提供商不可信
2、各类安全攻击
分类：
数据完整性验证机制根据是否对数据文件采用了容错预处理分为数据持有性证明PDP机制和数据可恢复证明POR机制 。
2
ppt课件完整
数据完整性证明框架
1、密钥生成算法
2、数据块标签生成算法
3、证据生成算法
4、证据检测算法
*5、更新执行算法
*6、更新验证算法
3
ppt课件完整
密钥生成算法
由用户在本地执行。k为安全参数，返回一个匹配的公钥、私钥对（pk，sk）。
4
ppt课件完整
数据块标签生成算法
由用户执行，为每个文件生成同态签名标签集合Φ，作为认证的元数据。该算法输入参数包括私钥sk和数据文件F，返回认证的元数据Φ。
5
ppt课件完整
证据生成算法
由服务器运行，生成完整性证据Ｐ。输入参数包括公钥pk、文件F、挑战请求chal和认证元数据集合Φ。返回该次请求的完整性证据Ｐ。
6
ppt课件完整
证据检测算法
由用户或可信第三方TPA运行，对服务器返回的证据P进行判断。输入参数为公钥pk，挑战请求chal及P。返回验证成功或失败。
7
ppt课件完整
更新执行算法
由服务器运行，将文件F作为输入，相应标签Φ及数据请求操作Update，输出一个更新文件F′和更新标签集合Φ′，及相对应地更新证据Ｖupdate。
8
ppt课件完整
更新验证算 法
由用户执行，返回更新操作成功或失败。
9
ppt课件完整
实施
数据完整性验证机制在具体实施过程中可以分为两个阶段组成：Setup阶段和Challenge阶段。
10
ppt课件完整