数据完整性验证.ppt

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