[Abstract]

The concern over data stored in a Cloud Computing environment has been widely discussed. Among the challenges is the problem of ensuring the integrity and recoverability of remotely stored data. In order to fill this gap, the cryptography community has proposed some concepts, among them: PDP (Proof of Data Possession), PoW (Proof of Ownership) and PoR (Proof of Recoverability).

In this paper, a new PoR scheme is proposed: Hy-SAIL (Hyper-Scalability, Availability and Integrity Layer). In this proposal, a PoR is designed and implemented using Online Codes, a special case of Fountain Codes, . To perform the integrity checks, properties on a Galois body, GF(2n), are used to construct a MAC with homomorphic XOR property. Hy-SAIL has been shown to be a secure and scalable cryptographic system for providing availability of remotely stored data while meeting the demands of the complexities of communication, storage, and processing. To this end, a new adversarial model is presented that concentrates the main features of a realistic adversary for Cloud Computing environments, called the Limited Corruption Model. It is analytically proven that Hy-SAIL has demonstrable security in this adversarial model, and that the probability of attack on this scheme is asymptotically negligible. The experimental results collected from the Hy-SAIL implementation are also shown, confirming the analytical proof.

Publication Year: 2013

Student: Dino Macedo Amaral

Advisor: Prof. Dr. Anderson Clayton Alves Nascimento

Program: PhD in Electrical Engineering

University: Faculty of Technology at the University of Brasilia (Brazil)

More information: https://repositorio.unb.br/handle/10482/15690