[Abstract]

A preocupação com os dados armazenados em um ambiente de Computação em Nuvem tem sido amplamente discutido. Entre os desaos, há o problema de garantir a integridade e recuperabilidade dos dados armazenados remotamente. Com o objetivo de preencher esta lacuna, a comunidade de criptograa tem proposto alguns conceitos, entre eles: PDP (Prova de Possess~ao de Dados), PoW (Prova de Propriedade) e PoR (Prova de Recuperabilidade).

Neste documento, é proposto um novo esquema de PoR: Hy-SAIL (Hyper-Scalability, Availability and Integrity Layer). Nesta proposta, um PoR é projetado e implementado usando Online Codes, um caso especial de Fountain Codes, . Para executar as vericações de integridade, propriedades em um Corpo de Galois, GF(2n), s~ao usadas para construir um MAC com propriedade XOR homomórfica. Foi demonstrado que o Hy-SAIL é um sistema criptográfico seguro e escalável para fornecer disponibilidade dos dados armazenados remotamente, atendendo às exigêencias no que tange às complexidades de comunicação armazenamento e processamento. Para tanto, apresenta-se um novo modelo adversarial que concentra as principais funcionalidades de um adversário realístico para ambientes de Computação em Nuvem, chamado de Modelo de Corrupçãoo Limitada. É provado analiticamente que o Hy-SAIL possui segurançaa demonstrável nesse modelo adversarial, e que a probabilidade de ataque a este esquema é assintonticamente desprezável. São mostrados também os resultados experimentais coletados da implementação do Hy-SAIL, confirmando a prova analítica.

Ano de Publicação: 2013

Aluno: Dino Macedo Amaral

Orientador: Prof. Dr. Anderson Clayton Alves Nascimento

Programa: Doutoramento em Engenharia Elétrica

Universidade: Faculdade de Tecnologia da Universidade de Brasília (Brasil)

Mais informação: https://repositorio.unb.br/handle/10482/15690