Questo sito utilizza cookie di terze parti per inviarti pubblicità in linea con le tue preferenze. Se vuoi saperne di più clicca QUI 
Chiudendo questo banner, scorrendo questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookie. OK

Un approccio simbolico all'analisi di protocolli di sicurezza

La tesi ha avuto come fine quello di definire un linguaggio e la sua semantica per la definizione di un ambiente di analisi di protocolli di sicurezza. Il linguaggio permette di definire un qualunque protocollo crittografico e di inserirlo in un ambiente in cui è possibile testarne la correttezza. L'approccio ha permesso, attraverso l'utilizzo di opportune strutture semantiche di carattere simbolico, di ridurre enormemente i costi in termini computazionali dell'analisi. Il linguaggio è alla base di un tool di analisi automatico.

Mostra/Nascondi contenuto.
Capitolo 1 Introduzione Lo scopo di questa tesi è quella di deteminare metodi che possano semplificare l’analisi compiuta su un protocollo crittografico. Un protocollo è un’insieme di regole che devono essere seguite affinchè due, o più partecipanti al protocollo, possano scambiarsi informazioni di qualunque natura; spesso si parla di protocolli crittografici riferendosi a quei protocolli per i quali vengono adottate particolari tecniche, dette crittografiche, per codificare i dati scambiati. Un attacco ad un protocollo è una violazione, da parte di un estraneo, delle regole che definiscono il protocollo stesso; individuare tali violazioni, significa simulare tutti i possibili comportamenti del sistema per determinare quali di questi conducono ad un comportamento erroneo del protocollo. 1.1 Scenario In questi ultimi anni si è intensificato l’utilizzo di internet e sistemi distribuiti, non solo in ambiti esclusivi come l’università e le grandi aziende, ma anche nella sfera priva- ta. Al crescere del volume e dell’importanza dei dati immagazzinati nei computer ed accessibili dall’esterno, la preoccupazione di garantire privacy e sicurezza è divenuta sempre maggiore. I sistemi di comunicazione sono divenuti complessi e dinamici per far fronte alle molteplici esigenze: la riservatezza è certamente importante ma anche l’integrità dei dati risulta, spesso, una caratteristica irrinunciabile. Se un nuovo utente si unisce ad un sistema, questo deve essere in grado di identificarlo per poi modificare il proprio comportamento e adattarsi alle nuove circostanze. Ciò non è facile, particolarmente 7

Tesi di Laurea

Facoltà: Scienze Matematiche, Fisiche e Naturali

Autore: Paolo Fornasari Contatta »

Composta da 96 pagine.

 

Questa tesi ha raggiunto 625 click dal 20/03/2004.

Disponibile in PDF, la consultazione è esclusivamente in formato digitale.