Verifica di protocolli di sicurezza crittografici
Autore
Cristiano Longo - Università degli Studi di Catania - [2002-03]
Documenti
Abstract
Questa tesi contiene uno studio riguardo la formalizzazione e la verifica di protocolli di sicurezza di seconda generazione, ossia di protocolli che prevedano al proprio interno l'uso di "canali" con determinate proprietà.
Questa tesi è correlata alla categoria