A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiability
Issue No. 09 - September (2011 vol. 23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2011.62
Remote data integrity checking is a crucial technology in cloud computing. Recently, many works focus on providing data dynamics and/or public verifiability to this type of protocols. Existing protocols can support both features with the help of a third-party auditor. In a previous work, Sebé et al. propose a remote data integrity checking protocol that supports data dynamics. In this paper, we adapt Sebé et al.'s protocol to support public verifiability. The proposed protocol supports public verifiability without help of a third-party auditor. In addition, the proposed protocol does not leak any private information to third-party verifiers. Through a formal analysis, we show the correctness and security of the protocol. After that, through theoretical analysis and experimental results, we demonstrate that the proposed protocol has a good performance.
protocols, cloud computing, data integrity, data privacy, formal verification, formal analysis, privacy-preserving remote data integrity checking protocol, data dynamics, public verifiability, cloud computing, Sebé et al. protocol, Protocols, Servers, Security, Probabilistic logic, Data privacy, Privacy, Games, privacy., Data integrity, data dynamics, public verifiability
"A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiability," in IEEE Transactions on Knowledge & Data Engineering, vol. 23, no. , pp. 1432-1437, 2011.