Riservatezza e integrità su servizi database cloud

Il successo dei servizi basati su cloud è legato a garanzie di disponiibilità, scalabilità e sicurezza. Se da un lato le infrastrutture cloud soddisfano i primi due requisiti, come fornire garanzie di confidenzialità e di integrità dei dati è ancora un problema irrisolto per i servizi database cloud. Questa tesi propone nuove architetture e protocolli per proteggere informazioni di primaria importanza che vengono memorizzate in infrastrutture gestite da fornitori di servizi cloud pubblici. Le soluzioni proposte includono la progettazione e l'integrazione di protocolli crittografici avanzati che prevengono accessi e modifiche illegittime ai dati riservati mantenendo efficienti le operazioni di recupero e di calcolo. Tutte le scelte di progetto hanno avuto lo scopo di ottenere soluzioni funzionali utilizzabili in scenari di utilizzo reali. La tesi include implementazioni, valutazioni prestazionali, modelli formali e dimostrazioni di sicurezza che mostrano la correttezza, l'efficienza e la sicurezza delle architetture, degli schemi e dei protocolli proposti.