云存储中数据持有性证明模型的设计与分析

摘要

本文提出一种云存储环境下的数据持有性证明模型CS-PDP,该模型主要采用了抽样检测的概率型验证和同态验证方法.模型中引入了云存储提供商代理CSPP来协助用户与各个云存储提供商进行存储验证交互.该代理拥有三个核心模块:存储分配管理模块SAM,接收/响应挑战模块RRCM和通知/收集证明模块NCPM.本文对CS-PDP模型的主要算法、工作流程和核心技术进行了详细阐述;并且通过理论和实验两大手段,从安全性、概率型验证、以及开销(存储开销、计算开销和通信开销)等三个方面对CS-PDP模型进行了分析,表明CS-PDP是一种高效可行的云环境下数据持有性证明模型.