PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Costruzione di una libreria di protocolli crittografici verificati

azienda Tesi esterna in azienda    estero 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