Consulta a Base de Dados Cifrada Em Computacao NAS Nuvens : Uma abordagem formal

Com a disseminao e a popularizao da internet, cada vez mais pessoas e empresas esto utilizando os servios em computao nas nuvens. Entre esses servios, existe o armazenamento e hospedagem das bases de dados nas nuvens. Nesse contexto surge um problema, como assegurar a privacidade e integridade das bases de dados que esto expostas a ataques. O objetivo deste livro apresentar um protocolo de criptografia para realizar consultas de forma segura nas bases de dados cifradas que esto armazenadas nesses servidores. A principal contribuio deste trabalho permitir a verificao dos dados cifrados e armazenados nos bancos de dados dos servidores sem a necessidade de decifr-los. Neste livro so apresentados os conceitos de criptografia e assinatura digital necessrios para a construo do protocolo proposto. Por fim, foi desenvolvido o modelo formal do protocolo e o seu prottipo.