Crittoanalisi Logica di DES

La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costantemente, sia dal punto di vista dei possibili nuovi exploit per forzare gli algoritmi usati, sia introducendo nuovi e sempre più complessi sistemi di sicurezza. In questa tesi viene proposto una possibile implementazione di un particolare tipo di attacco crittoanalitico, introdotto nel 2000 da due ricercatori dell'Università "La Sapienza" di Roma, e conosciuto come "Crittoanalisi Logica". L'algoritmo su cui è incentrato il lavoro è il Data Encryption Standard (DES), ostico standard crittografico caduto in disuso nel 1999 a causa delle dimensioni ridotte della chiave, seppur tuttora sia algebricamente inviolato. Il testo è strutturato nel seguente modo: il primo capitolo è dedicato ad una breve descrizione di DES e della sua storia, introducendo i concetti fondamentali con cui si avrà a che fare per l'intera dissertazione Nel secondo capitolo viene introdotta la Crittoanalisi Logica e viene fornita una definizione della stessa, accennando ai concetti matematici necessari alla comprensione dei capitoli seguenti. Nel capitolo 3 viene presentato il primo dei due software sviluppati per rendere possibile l'attuazione di questo attacco crittoanalitico, una libreria per la rappresentazione e la manipolazione di formule logiche scritta in Java. Il quarto ed ultimo capitolo descrive il programma che, utilizzando la libreria descritta nel capitolo 3, elabora in maniera automatica un insieme di proposizioni logiche semanticamente equivalenti a DES, la cui verifica di soddisfacibilità, effettuata tramite appositi tools (SAT solvers) equivale ad effettuare un attacco di tipo known-plaintext su tale algoritmo.

Water footprint e sostenibilità ambientale nell'industria agroalimentare

H20 è la formula chimica che tutti conoscono. L'acqua, infatti, non è solo la sostanza più diffusa sulla terra, ma è anche la condizione necessaria per la vita. La disponibilità e l’accessibilità di acqua pulita è essenziale per la salute delle comunità, è fondamentale per gli ecosistemi e indispensabile per la prosperità economica. La quantità di acqua dolce sulla Terra è limitata e non equamente distribuita. La scarsità idrica non è più un problema limitato alle regioni più povere del Pianeta: l’acqua è oggi un problema globale che coinvolge sempre più aree del mondo. Ed è proprio grazie al binomio importanza - scarsità che l’acqua è stata soprannominata l'oro blu del XXI secolo, secolo in cui sarà l’acqua a rendere più precari gli equilibri mondiali come, in passato, lo è stato il petrolio. Nella prima parte di questo elaborato l’acqua e i problemi ad essa connessa faranno da protagonisti. Nel capitolo 1 inquadreremo dapprima il problema idrico e parleremo della scarsità di questa importantissima risorsa e dei suoi innumerevoli utilizzi. Nel capitolo 2 presenteremo la Water Footprint o impronta idrica, un indicatore appositamente ideato per quantificare l'uso di acqua di un prodotto, un processo, un individuo, un organizzazione o una nazione. Questo indicatore apre la strada alla focalizzazione sui prodotti dell’industria agroalimentare, il comparto industriale su cui concentreremo la nostra attenzione. Nel capitolo 3 esamineremo l’utilizzo dell’acqua nelle industrie, con particolare attenzione ai temi del riciclo e riuso della risorsa idrica. Nel capitolo 4 analizzeremo alcune esperienze di aziende agroalimentari che hanno intrapreso un percorso di tutela e risparmio della risorsa idrica. Nella seconda parte dell’elaborato inquadreremo il tema della salvaguardia della risorsa idrica in un quadro più generale di tutela ambientale. Nel capitolo 5 presenteremo i temi di green economy, sostenibilità ambientale e ecologia industriale dando rilievo alla dimensione ambientale, economica e sociale. Nel capitolo 6, infine, analizzeremo gli strumenti che le aziende hanno a disposizione per calcolare, certificare e comunicare la loro politica di sostenibilità ambientale.

Analisi storica e tecnica del sistema operativo Android

La tesi è una rassegna storica e tecnica del Sistema Operativo Android, che parte da eventi del 1999 fino ad arrivare ai giorni nostri. É presente un'analisi della sua struttura del sistema e dell'anatomia di un'applicazione e si sviluppa fino agli usi alternativi di questo sistema operativo.