Up a level |
Grigolato, Giuliano and Giacobazzi, Roberto (rel.) and Mastroeni, Isabella (correl.) (2003) [BM Tesi I 0280]. - Analisi di protocolli crittografici mediante metodi formali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.