Reliable Distributed Systems, IEEE Symposium on (2012)
Irvine, CA, USA USA
Oct. 8, 2012 to Oct. 11, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SRDS.2012.50
This paper presents a storage enforcing remote verification scheme, PGV (Pretty Good Verification). While existing schemes are often developed to handle a malicious adversarial model, we argue that such a model is often too strong of an assumption, resulting in over-engineered, resource-intensive mechanisms. Instead, the storage enforcement property of PGV aims at removing a practical incentive for a storage server to cheat in order to save on storage space in a covert adversarial model. At its core, PGV relies on the well-known polynomial hash, we show that the polynomial hash provably possesses the storage enforcement property and is also efficient in terms of performance. In addition to the traditional application of a client verifying the storage content at a remote server, PGV can also be applied to de-duplication scenarios where the server wants to verify whether the client possesses a significant amount of information about a file (and not just a partial knowledge/fingerprint of the file) before granting access to an existing file. We theoretically prove the power of PGV by combining Kolmogorov complexity and list decoding, and experimentally show the simplicity and low overhead of PGV by comparing it with existing schemes. Altogether, PGV provides a good, practical way to perform storage enforcing remote verification.
proof of ownership, storage enforcement, proof of retrievability, cloud storage, proof of data possession
M. I. Husain, S. Uurtamo, S. Y. Ko, A. Rudra and R. Sridhar, "PGV: A Storage Enforcing Remote Verification Scheme," 2012 IEEE 31st International Symposium on Reliable Distributed Systems (SRDS 2012)(SRDS), Irvine, CA, 2012, pp. 390-395.