Com a disseminacao e a popularizacao da internet, cada vez mais pessoas e empresas estao utilizando os servicos em computacao nas nuvens. Entre esses servicos, 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 estao expostas a ataques. O objetivo deste livro e apresentar um protocolo de criptografia para realizar consultas de forma segura nas bases de dados cifradas que estao armazenadas nesses servidores. A principal contribuicao deste trabalho e permitir a verificacao dos dados cifrados e armazenados nos bancos de dados dos servidores sem a necessidade de decifra-los. Neste livro sao apresentados os conceitos de criptografia e assinatura digital necessarios para a construcao do protocolo proposto. Por fim, foi desenvolvido o modelo formal do protocolo e o seu prototipo."