Zannone, Nicola and Segala, Roberto (rel.) (2002) [BM Tesi I 0169]. - Un'analisi simbolica per la verifica di protocolli di autenticazione a stati infiniti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.