With the widespread application of cloud storage, ensuring the integrity of user outsourced data catches more and more attention. To remotely check the integrity of cloud storage, plenty of protocols have been proposed, implemented by checking the equation constructed by the aggregated blocks, tags, and indices. However, the verifier only has the knowledge of the indices of the audited blocks and tags, which thus requires the cloud to store both data blocks and tags for integrity verification. In this article, we present a compressive secure cloud storage protocol inspired by Goldreich-Goldwasser-Halevi (GGH) cryptosystem. Since the aggregated blocks can be reconstructed from the aggregated tags without the help of data indices, the cloud can only store data tags for providing the verifiable integrity proof. In this way, communication and storage costs can be hugely reduced and user private information can be hidden from the cloud. Furthermore, the proposed protocol only contains a few basic algebraic operations, making it highly efficient. We also provide formal security proof of the proposed protocol regarding forge, replay and replace attacks. In addition, we explore a new technique to support data dynamics. Furthermore, we establish a generic framework of compressive secure cloud storage protocols. Finally, we provide the theoretical analysis and experimental results, which further validate the effectiveness of the proposed protocol.

中文翻译：

---

一种用于安全云存储的压缩完整性审计协议

随着云存储的广泛应用，保障用户外包数据的完整性越来越受到重视。为了远程检查云存储的完整性，已经提出了许多协议，通过检查由聚合块、标签和索引构建的方程来实现。然而，验证者只知道被审计的块和标签的索引，因此需要云存储数据块和标签以进行完整性验证。在本文中，我们提出了一种受 Goldreich-Goldwasser-Halevi (GGH) 密码系统启发的压缩安全云存储协议。由于可以在没有数据索引的帮助下从聚合标签重建聚合块，因此云只能存储数据标签以提供可验证的完整性证明。这样，通信和存储成本可以大大降低，用户隐私信息可以从云端隐藏。此外，提议的协议只包含一些基本的代数运算，使其非常高效。我们还提供有关伪造、重放和替换攻击的拟议协议的正式安全证明。此外，我们探索了一种支持数据动态的新技术。此外，我们建立了压缩安全云存储协议的通用框架。最后，我们提供了理论分析和实验结果，进一步验证了所提出协议的有效性。我们还提供有关伪造、重放和替换攻击的拟议协议的正式安全证明。此外，我们探索了一种支持数据动态的新技术。此外，我们建立了压缩安全云存储协议的通用框架。最后，我们提供了理论分析和实验结果，进一步验证了所提出协议的有效性。我们还提供有关伪造、重放和替换攻击的拟议协议的正式安全证明。此外，我们探索了一种支持数据动态的新技术。此外，我们建立了压缩安全云存储协议的通用框架。最后，我们提供了理论分析和实验结果，进一步验证了所提出协议的有效性。