COMPAGNA, LUCA
COMPAGNA, LUCA
38 - Dipartimento di Informatica e Scienze dell'Informazione (DISI) (attivo dal 01/03/1992 al 18/07/2012)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
SAT-based Model Checking for Security Protocols Analysis | 1-gen-2008 | Armando, Alessandro; Compagna, Luca |