A post-quantum provable data possession protocol in cloud
Article first published online: 22 FEB 2013
Copyright © 2013 John Wiley & Sons, Ltd.
Security and Communication Networks
Volume 6, Issue 5, pages 658–667, May 2013
How to Cite
Chen, L., Han, L., Jing, J. and Hu, D. (2013), A post-quantum provable data possession protocol in cloud. Security Comm. Networks, 6: 658–667. doi: 10.1002/sec.691
- Issue published online: 11 APR 2013
- Article first published online: 22 FEB 2013
- National Natural Science Foundation of China. Grant Numbers: 61100221, 62172033, 61272405
- cloud storage;
- provable data possession;
- post-quantum cryptography;
- ideal lattice;
- homomorphic hash function
Provable data possession (PDP) is a model for efficiently checking the integrity of data in cloud storage. Most previous PDP protocols are insecure when quantum computers are considered. In this paper, we propose a homomorphic hash-based PDP (HH-PDP) protocol from ideal lattice assumptions. Firstly, we prove that a collision-resistant hash function family is homomorphic. Then, we use the homomorphism to generate homomorphic verification tags and further construct a new PDP protocol. The security of the proposed protocol relies on the assumed worst-case hardness of ideal lattice problems, which hold a great promise for post-quantum cryptography. We prove that the proposed protocol guarantees data possession in the standard model if the shortest polynomial problem is hard. As the main operations in our construction are addition and multiplication on small integers, the proposed protocol is more efficient than previous protocols. Experimental result shows that HH-PDP is approximately five times cheaper in preprocessing and checking proof, half cost in generating proof compared with the most efficient PDP protocol proposed by Ateniese et al. in 2011. Copyright © 2013 John Wiley & Sons, Ltd.