Outsourced storage such as cloud storage can significantly reduce the burden of data management of data owners. Despite of a long list of merits of cloud storage, it triggers many security risks at the same time. Data integrity, one of the most burning challenges in secure cloud storage, is a fundamental and pivotal element in outsourcing services. Outsourced data auditing protocols enable a verifier to efficiently check the integrity of the outsourced files without downloading the entire file from the cloud, which can dramatically reduce the communication overhead between the cloud server and the verifier. Existing protocols are mostly based on public key infrastructure or an exact identity, which lacks flexibility of key management. In this paper, we seek to address the complex key management challenge in cloud data integrity checking by introducing attribute-based cloud data auditing, where users can upload files to cloud through some customized attribute set and specify some designated auditor set to check the integrity of the outsourced data. We formalize the system model and the security model for this new primitive, and describe a concrete construction of attribute-based cloud data integrity auditing protocol. The new protocol offers desirable properties namely attribute privacy-preserving and collusion-resistance. We prove soundness of our protocol based on the computational Diffie-Hellman assumption and the discrete logarithm assumption. Finally, we develop a prototype of the protocol which demonstrates the practicality of the protocol.

中文翻译：

---

用于安全外包存储的基于属性的云数据完整性审计

云存储等外包存储可以显着减轻数据所有者的数据管理负担。尽管云存储有很多优点，但它同时引发了许多安全风险。数据完整性是安全云存储中最紧迫的挑战之一，是外包服务的基本和关键要素。外包数据审计协议使验证者无需从云端下载整个文件即可高效检查外包文件的完整性，这可以大大减少云服务器与验证者之间的通信开销。现有协议大多基于公钥基础设施或确切身份，缺乏密钥管理的灵活性。在本文中，我们试图通过引入基于属性的云数据审计来解决云数据完整性检查中复杂的密钥管理挑战，用户可以通过一些自定义的属性集将文件上传到云，并指定一些指定的审计员集来检查外包数据的完整性。我们形式化了这个新原语的系统模型和安全模型，并描述了基于属性的云数据完整性审计协议的具体构造。新协议提供了理想的属性，即属性隐私保护和抗合谋。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。用户可以通过一些自定义的属性集将文件上传到云端，并指定一些指定的审计员集来检查外包数据的完整性。我们形式化了这个新原语的系统模型和安全模型，并描述了基于属性的云数据完整性审计协议的具体构造。新协议提供了理想的属性，即属性隐私保护和抗合谋。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。用户可以通过一些自定义的属性集将文件上传到云端，并指定一些指定的审计员集来检查外包数据的完整性。我们形式化了这个新原语的系统模型和安全模型，并描述了基于属性的云数据完整性审计协议的具体构造。新协议提供了理想的属性，即属性隐私保护和抗合谋。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。我们形式化了这个新原语的系统模型和安全模型，并描述了基于属性的云数据完整性审计协议的具体构造。新协议提供了理想的属性，即属性隐私保护和抗合谋。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。我们形式化了这个新原语的系统模型和安全模型，并描述了基于属性的云数据完整性审计协议的具体构造。新协议提供了理想的属性，即属性隐私保护和抗合谋。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。我们基于计算 Diffie-Hellman 假设和离散对数假设证明了我们协议的健全性。最后，我们开发了一个协议原型，证明了协议的实用性。