Outsourcing an increasing amount of data to a third party raises a number of security and privacy challenges, namely remote data integrity verification. Indeed, proofs for data possession checking address the verification that some previously outsourced data blocks across multiple storing nodes are correctly stored and fully available. In this paper, we propose a new set homomorphic proof of data possession, referred to as SHoPS, supporting several operations like aggregation of proofs. SHoPS is a deterministic Proof of Data Possession (PDP) scheme, based on an interactive proof protocol. Our approach has several advantages. First, it enables several proofs to be aggregated and a subset of data files’ proofs to be verified, while providing an attractive communication overhead. Second, it supports public verifiability where the verification process can be delegated to another entity, thus releasing the data owner from the cumbersome task of periodical verifications. Third, SHoPS is efficient and provably secure, as it is resistant to the fraudulence of the prover and the leakage of verified data. Finally, a theoretical performances’ analysis shows that SHoPS performs better in terms of functionality, communication and computation overhead compared to closely related works and experimental results point out the applicability of the proposed scheme in real world scenarios.

中文翻译：

---

云中数据占有检查的协作集同态证明

将越来越多的数据外包给第三方提出了许多安全和隐私挑战，即远程数据完整性验证。确实，数据拥有检查的证据解决了验证以下问题：跨存储节点的某些先前外包的数据块已正确存储并且完全可用。在本文中，我们提出了一种新的数据拥有的同态证明集，称为SHoPS，它支持证明聚合等多种操作。SHoPS是基于交互式证明协议的确定性数据拥有证明（PDP）方案。我们的方法有几个优点。首先，它可以聚合多个证明，并可以验证数据文件的证明的子集，同时提供诱人的通信开销。第二，它支持公共可验证性，可以将验证过程委派给另一个实体，从而将数据所有者从繁琐的定期验证任务中解脱出来。第三，SHoPS高效且可证明是安全的，因为它可以抵御证明者的欺诈行为和已验证数据的泄漏。最后，理论性能分析表明，与紧密相关的工作相比，SHoPS在功能，通信和计算开销方面表现更好，实验结果表明了该方案在现实世界场景中的适用性。