VIGANÒ, LUCA Statistiche
VIGANÒ, LUCA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.017 secondi).
Foundations and Applications of Security Analysis
2009-01-01 Degano, Pierpaolo; Viganò, Luca
Special Issues International Journal of Information and Computation
2008-01-01 Degano, Pierpaolo; Küsters, R; Viganò, Luca; Zdancewiz, S.
Special Issues of the International Journal of Information Security
2007-01-01 Degano, Pierpaolo; Viganò, Luca
Special Issue of the Journal of Theoretical Computer Science
2006-01-01 Degano, Pierpaolo; Viganò, Luca
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)
2005-01-01 Degano, Pierpaolo; Viganò, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Foundations and Applications of Security Analysis | 1-gen-2009 | Degano, Pierpaolo; Viganò, Luca | |
Special Issues International Journal of Information and Computation | 1-gen-2008 | Degano, Pierpaolo; Küsters, R; Viganò, Luca; Zdancewiz, S. | |
Special Issues of the International Journal of Information Security | 1-gen-2007 | Degano, Pierpaolo; Viganò, Luca | |
Special Issue of the Journal of Theoretical Computer Science | 1-gen-2006 | Degano, Pierpaolo; Viganò, Luca | |
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) | 1-gen-2005 | Degano, Pierpaolo; Viganò, Luca |