Title: Proof of retrievability with efficient verification

Authors: Zhi-Yi Shao; Bo Yang

Addresses: School of Computer Science, Shaanxi Normal University, No. 620, West Chang'an Avenue, Chang'an District, Xi'an 710119, China ' School of Computer Science, Shaanxi Normal University, No. 620, West Chang'an Avenue, Chang'an District, Xi'an 710119, China

Abstract: The computationally sound proof (CS proof) is a proof system which reduces the verifier's computation to a level polylogarithmic in that of accepting. If used in cloud computing, CS proof will significantly reduce computation of the client whose computation resources are much more limited than that of the cloud server. We are the first to introduce CS proof belonging to complexity theory into cloud computing, where a protocol for data integrity verification is proposed to reduce the customer's computation. Concretely, the customer's computation is only poly-logarithmic in that of the traditional protocols. However, in our opinion, the significance of this study is not the improved efficiency, but that we introduce a new way to achieve integrity verification. The proposed protocol supports public verification even without the customer's public key and satisfies the security against semi-honest adversaries. The customer's privacy holds against both the cloud and the third-party verifier. The proposed protocol can be considered as a proper application of CS proof to integrity verification in cloud computing.

Keywords: data integrity verification; proof of retrievability; PoR; computationally sound proof; cloud computing; cloud security; public verification; privacy preservation; privacy protection.

DOI: 10.1504/IJES.2015.072365

International Journal of Embedded Systems, 2015 Vol.7 No.3/4, pp.203 - 215

Received: 03 Jul 2014
Accepted: 17 Sep 2014
Published online: 11 Oct 2015 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article