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.

Studio parametrico del comportamento di opere di sostegno flessibili mediante modellazione numerica

Oggetto di questa tesi è lo studio parametrico del comportamento di paratie mediante modellazione numerica agli elementi finiti. Si è anche analizzato l’aspetto normativo relativo ad esse ed in particolare si è applicato il D.M. 2008 ad una paratia sottolineando le innovazioni nella progettazione geotecnica. Le paratie sono opere di sostegno flessibili interagenti con i fronti di scavo e costituite da una porzione fuori terra, soggetta a condizioni di spinta attiva, e una porzione interrata che contrappone la resistenza passiva del terreno. Le opere di sostegno flessibile si dividono in due categorie: diaframmi e palancole che differiscono molto fra loro sia per il materiale con cui sono realizzate, sia per la tecnica di messa in opera, sia per la geometria, ma hanno in comune il meccanismo di funzionamento. Sono stati illustrati i metodi di calcolo per lo studio delle paratie: metodi dell’equilibrio limite a rottura, metodi a molle e metodi agli elementi finiti. I metodi agli elementi finiti negli ultimi anni hanno avuto maggior successo grazie alla possibilità di definire il modello costitutivo sforzi-deformazioni, le condizioni al contorno e le condizioni iniziali. Esistono numerosi programmi di calcolo che si basano sul metodo agli elementi finiti, tra i quali è da annoverare il programma Plaxis che viene molto usato grazie alla presenza di vari modelli costitutivi in grado di simulare il comportamento del terreno. Tra i legami costitutivi presenti nel programma Plaxis, sono stati presi in esame il modello Mohr-Coulomb, l’Hardening model e il Soft Soil Creep model e sono poi stati applicati per eseguire uno studio parametrico del comportamento delle paratie. Si è voluto comprendere la sensibilità dei modelli al variare dei parametri inseriti nel programma. In particolare si è posta attenzione alla modellazione dei terreni in base ai diversi modelli costitutivi studiando il loro effetto sui risultati ottenuti. Si è inoltre eseguito un confronto tra il programma Plaxis e il programma Paratie. Quest’ultimo è un programma di calcolo che prevede la modellazione del terreno con molle elasto-plastiche incrudenti. Il lavoro di tesi viene illustrato in questo volume come segue: nel capitolo 1 si analizzano le principali caratteristiche e tipologie di paratie mettendo in evidenza la complessità dell’analisi di queste opere e i principali metodi di calcolo usati nella progettazione, nel capitolo 2 si è illustrato lo studio delle paratie secondo le prescrizioni del D.M. 2008. Per comprendere l’argomento è stato necessario illustrare i principi base di questo decreto e le caratteristiche generali del capitolo 6 dedicato alla progettazione geotecnica. Le paratie sono poi state studiate in condizioni sismiche secondo quanto previsto dal D.M. 2008 partendo dall’analisi degli aspetti innovativi nella progettazione sismica per poi illustrare i metodi pseudo-statici utilizzati nello studio delle paratie soggette ad azione sismica. Nel capitolo 3 si sono presi in esame i due programmi di calcolo maggiormente utilizzati per la modellazione delle paratie: Paratie e Plaxis. Dopo aver illustrato i due programmi per comprenderne le potenzialità, i limiti e le differenze, si sono analizzati i principali modelli costituitivi implementati nel programma Plaxis, infine si sono mostrati alcuni studi di modellazione presenti in letteratura. Si è posta molta attenzione ai modelli costitutivi, in particolare a quelli di Mohr-Coulomb, Hardening Soil model e Soft Soil Creep model capaci di rappresentare il comportamento dei diversi tipi di terreno. Nel capitolo 4, con il programma Plaxis si è eseguita un’analisi parametrica di due modelli di paratie al fine di comprendere come i parametri del terreno, della paratia e dei modelli costitutivi condizionino i risultati. Anche in questo caso si è posta molta attenzione alla modellazione del terreno, aspetto che in questa tesi ha assunto notevole importanza. Dato che nella progettazione delle paratie è spesso utilizzato il programma Paratie (Ceas) si è provveduto ad eseguire un confronto tra i risultati ottenuti con questo programma con quelli ricavati con il programma Plaxis. E’ stata inoltra eseguita la verifica della paratia secondo le prescrizioni del D.M. 2008 dal momento che tale decreto è cogente.

Scatola di luce,un polo scolastico per Bertinoro: riqualificazione e ampliamento della scuola media "P. Amaducci"

Questa tesi ha come oggetto la riqualificazione energetica e funzionale della scuola media statale “P. Amaducci” di Bertinoro e la realizzazione, all’interno della stessa area, di una scuola elementare che condivida, con la struttura esistente, spazi per attività parascolastiche e sportive. Il lotto di intervento è situato ai margini del centro urbano, circondato da un’area identificata dalla pubblica amministrazione come di possibile espansione residenziale; esso presenta diverse criticità, tra cui la poca sicurezza dei percorsi pedonali, la frammentarietà del sistema degli spazi aperti, la mancanza di adeguate aree di sosta e di parcheggio. Grazie alla sua posizione elevata e alla collocazione all’interno di un ambito di interesse paesaggistico, dall’area si gode di un’ampia visuale sul territorio circostante, caratterizzato dalla coltivazione della vite. L’attuale scuola media statale “P. Amaducci”, realizzata nel 1990, è un edificio di circa 17800 mc con disposizione planimetrica a corte aperta, sviluppato su tre piani, ad est del quale nel 2000 è stato collocato un edificio a blocco di 12000 mc, che ospita un palazzetto dello sport di rilevanza provinciale. Nonostante la sua recente costruzione, la struttura presenta diverse carenze progettali, tra cui lo sfavorevole orientamento delle aule per la didattica, che determina un elevato livello di discomfort, la scarsa prestazione energetica che colloca l’edificio in classe energetica E, e il generale sovradimensionamento del complesso e dei singoli spazi interni (circa 180% di spazio in più rispetto a quanto previsto dal D.M.del 1975 sull’edilizia scolastica. La scuola era originariamente progettata per ospitare tre sezioni, per un totale di 225 alunni; attualmente è frequentata da solo 132 studenti, con conseguente mancata utilizzazione di una parte consistente dell’edificio. Gli obiettivi dell’intervento sono quelli fissati dall’Amministrazione comunale e consistono essenzialmente in: - Riunificazione della scuola media con la scuola elementare in un unico polo scolastico, mettendo in comune una serie di ambienti quali l'auditorium, la mensa, le aule speciali, l’adiacente palazzetto dello sport. - Realizzazione di un ampliamento per la nuova scuola elementare, con capacità di 10 aule. Esso andrebbe realizzato a monte dell'attuale scuola media favorendo un ingresso separato dei due ordini di scuola. - Revisione di alcune soluzioni progettuali ed energetiche errate o non funzionali presenti nell'attuale struttura. A seguito di alcune analisi effettuate sulla popolazione di Bertinoro e sull’accesso ai plessi scolastici dalle frazioni vicine (Fratta Terme, Capocolle, Panighina) è emersa la scarsa dinamica demografica del comune, la quale ha suggerito di prevedere la riduzione degli spazi destinati alla scuola media e l’utilizzo dei locali eccedenti per ospitare aule per la didattica ad uso della nuova scuola elementare, prevedendo inoltre l’uso congiunto degli spazi per attività parascolastiche tra le due scuole (mensa, biblioteca, auditorium e palestra) e progettando un ampliamento per ospitare le altre attività necessarie al funzionamento della nuova scuola elementare. Il progetto ha assunto la sostenibilità e il minimo impatto sull’ambiente come principi generatori gli elementi del contesto naturale come risorse: mantiene l’edificio adagiato sul declivio del terreno e valorizza la vista verso la vallata circostante, in modo da aprirlo sul paesaggio. Per limitare una delle criticità funzionali rilevate, il progetto si è proposto di separare i percorsi pedonali da quelli carrabili inserendo zone filtro con la funzione di proteggere l’accesso al polo scolastico e al palazzetto dello sport e, al fine di evitare la promiscuità delle utenze, di differenziare altimetricamente gli ingressi dei diversi edifici e di prevedere due parcheggi, uno a monte dell’area (di pertinenza della nuova scuola primaria), e uno a valle (ad uso degli utenti della scuola secondaria di primo grado e della palestra). Nella nuova configurazione spaziale dell’edificio esistente, le aule per la didattica sono collocate sul fronte principale orientato a sud-est e dotate di ampie aperture provviste di schermature studiate sulla radiazione solare locale. Per raggiungere un ottimo livello di illuminamento si è “scavato” un canale di luce all’interno dell’edificio, che fornisce alle aule un apporto di luce naturale aggiuntivo rispetto a quello che entra dalle facciate. Sul fronte nord-ovest si localizzano invece le aule speciali e i servizi, affacciati sulla corte. L’ingresso e il vano scala esistenti, in rapporto al volume ridimensionato della scuola media, risultano così in posizione baricentrica. La tesi presenta due diverse ipotesi di ampliamento, che prevedono entrambe la collocazione dei nuovi volumi a monte dell’edificio esistente, connessi ad esso tramite lo spazio dell’ingresso e la localizzazione di quattro aule per la didattica in una parte dell’edificio esistente. Il primo progetto di ampliamento si propone di ridefinire e valorizzare la corte interna attraverso l’inserimento a monte dell’edificio esistente di un volume su un solo piano, che si va ad inserire nel profilo della collina, secondo il principio del minimo impatto sul paesaggio circostante. Il secondo progetto di ampliamento punta invece sulla continuità visiva tra gli spazi aperti e il paesaggio: per questo si è collocato il nuovo volume, che si sviluppa su due piani (nella ricerca di un ottimale rapporto di forma) in adiacenza all’edificio esistente,dando luogo ad un ampio spazio verde su cui si affacciano le aule esposte a sud-est.

Il campus come parte di città. Riqualificazione urbana dell'area di via Cavalcavia a Cesena.

L’area di progetto, sulla quale convergono parti costruite in tempi e modalità diverse, si confronta con limiti importanti rispetto ai quali il progetto viene declinato in modi differenti: la via Emilia, la ferrovia, l’intervento Gregotti, sull’area dell’ex Zuccherificio, il lungo Savio e la vicinanza con lo svincolo della secante; tramite il progetto si vuole disegnare un ingresso per la città di Cesena, ridefinendone i margini e un fronte per la ferrovia e per la strada. L’intento è di lavorare a un progetto a scala urbana, capace di confrontarsi con la città e di instaurare con essa un rapporto di complementarietà e integrazione. La particolare articolazione dell’area ha comportato uno studio preciso della geometria che regolasse il disegno planimetrico, in modo da chiarire le relazioni fra i diversi edifici e fra essi e gli spazi vuoti; tentando di definire un sistema di gerarchie e allineamenti chiaro e riconoscibile. La rete dei percorsi che collega i nuovi spazi, alcuni pubblici altri privati, tenta di ristabilire quel sistema di relazioni e di riprodurre quella complessità che sono l’elemento fondante della città. L’intero progetto è trattato in modo unitario, perciò se da un lato il campus è un sistema autonomo, con funzioni proprie, allo stesso tempo si relaziona a tutto il resto grazie al parco e ai percorsi accompagnati dal sistema dei portici; si crea in tal modo uno spazio articolato che concilia al suo interno l’elemento naturale, l’urbanizzazione residenziale e gli edifici dell’università; in modo che diventi un complesso riconoscibile e allo stesso tempo integrato nella città e fruibile dai cittadini.