| KEYWORD |
Costruzione di una libreria di protocolli crittografici verificati
Tesi esterna in azienda 
Tesi all'estero
Parole chiave SICUREZZA, MODELLI, STRUMENTI DI ANALISI
Riferimenti RICCARDO SISTO
Riferimenti esterni ALFREDO PIRONTI (alfredo.pironti@polito.it)
Gruppi di ricerca FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Tipo tesi RICERCA, INNOVATIVA
Descrizione Questa tesi riguarda lo sviluppo di implementazioni di protocolli per la sicurezza informatica che abbiano una prova matematica di correttezza, usando tecniche innovative.
La tesi č una buona opportunitā per studenti di elevato profilo interessati a coniugare aspetti teorici e pratici della sicurezza informatica, soprattutto per coloro che hanno intenzione di proseguire gli studi dopo la laurea con un dottorato all'estero.
I dettagli dell'argomento sono accessibili attraverso il link allegato. Se interessati contattare riccardo.sisto@polito.it
Vedi anche http://moscova.inria.fr/~karthik/projects/mpri-2011-1.html
Conoscenze richieste programmazione Java, protocolli di comunicazione, programmazione di software distribuito, sicurezza informatica. Le altre conoscenze necessarie verranno acquisite durante il lavoro di tesi.
Scadenza validita proposta 15/02/2011
PROPONI LA TUA CANDIDATURA