Verifica dell'integrità di sistemi software

Ogni giorno usiamo numerose applicazioni software e spesso ne installiamo di nuove, nella maggior parte dei casi ottenute da Internet. Il progetto del sistema operativo Debian, si è adattato a questo trend costruendo un'infrastruttura che permettesse di gestire facilmente i software, dallo sviluppo alla distribuzione all'utente finale. Il modello adottato da Debian migliora notevolmente l'esperienza dell'utente finale, rendendo semplice ottenere e installare applicazioni da un vasto archivio, ma allo stesso tempo introduce nuovi problemi legati alla sicurezza. La tesi analizza l'infrastruttura di Debian, ponendo particolare attenzione sulle tecniche adottate per garantire l'integrità dei software che ospita e distribuisce, mostrandone i pregi, i difetti, ed i problemi tuttora aperti. Si discute del problema dell'integrità dei software installati in un sistema, mostrando alcuni attacchi che alterano i software e le soluzioni attualmente esistenti per rilevare tali attacchi. Infine si passa alla progettazione e implementazione di un sistema in grado di verificare l'integrità dei software installati nel sistema operativo Tails, una distribuzione live derivata da Debian, nata per proteggere la privacy e l'anonimato online dell'utente.