Tipo di tesi | Tesi di laurea magistrale | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Autore | FREDA, MATTIA | ||||||||||||||||||||||||||||||
URN | etd-03132017-113419 | ||||||||||||||||||||||||||||||
Titolo | Algoritmi per il miglioramento dell'efficienza di protocolli crittografici per authenticated pattern matching | ||||||||||||||||||||||||||||||
Titolo in inglese | Improving efficiency of cryptographic protocols for authenticated pattern matching on outsourced data | ||||||||||||||||||||||||||||||
Struttura | Dipartimento di Ingegneria | ||||||||||||||||||||||||||||||
Corso di studi | Ingegneria Informatica (D.M.270/04) | ||||||||||||||||||||||||||||||
Commissione |
|
||||||||||||||||||||||||||||||
Parole chiave |
|
||||||||||||||||||||||||||||||
Data inizio appello | 2017-04-12 | ||||||||||||||||||||||||||||||
Disponibilità | Accessibile via web (tutti i file della tesi sono accessibili) | ||||||||||||||||||||||||||||||
Riassunto analitico
Il problema di verificare la correttezza di query eseguiti su database esternalizzati è fondamentale per molti servizi di rete, in particolare dopo l'avvento del cloud computing. Questa tesi considera query di pattern matching, che permettono di individuare stringhe singole, a occorrenze multiple, nonché espressioni regolari specifiche all'interno di database e di testi di grandi dimensioni. La tesi affronta il problema di pattern matching autenticato su risorse testuali esternalizzate in server non fidati tramite il progetto e l'implementazione di nuovi protocolli crittografici. Le proposte migliorano lo stato dell'arte in termini di efficienza per alcuni contesti specializzati tramite soluzioni ottimizzate per effettuare controlli di integrità efficienti su suffix tree costruiti su dati testuali. La tesi dimostra le funzionalità e la maggiore efficienza dei protocolli tramite dettagliate analisi sperimentali sull'implementazione software. |
|||||||||||||||||||||||||||||||
Abstract
The problem of verifying the correctness of queries on an outsourced textual database is pivotal for many network services, especially after the advent of cloud computing. Pattern matching is perhaps the most common type of query in this context. In its most basic form, this task involves searching for a substring in the text and returning an answer regarding the presence or absence of the pattern in the database. This thesis addresses the problem of authenticated pattern matching over textual resources delegated to untrusted servers by implementing an efficient cryptographic protocol featuring generation of optimal size proofs. Starting from existing proposals in the literature, we design and implement an alternative implementation for accomplishing efficient integrity checks on suffix tree representations of the textual data. By exploiting a novel state-of-the-art framework for agile prototyping and design of efficient cryptographic protocols over outsourced sets, we propose several improvements on reference scientific work. In particular, we adapt and revise core protocol constructions and propose alternative schemes and additional optimization for selected applications and scenarios. Through comprehensive testing we evaluate the functionality and efficiency of our solution with respect to the prototypal architecture. |
|||||||||||||||||||||||||||||||
File |
|