VIGANO', Luca
VIGANO', Luca
DIPARTIMENTO DI SCIENZE GIURIDICHE
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Revised Selected Papers
2009-01-01 Degano, Pierpaolo; Vigano', Luca
Labelled Deduction
2000-01-01 D., Basin; M., D’Agostino; D. M., Gabbay; S., Matthews; Vigano', Luca
SecTest 2011, the Second International Workshop on Security Testing
2011-01-01 Li, Keqin; Mallouli, Wissam; Vigano', Luca
SecTest2012, the Third International Workshop on Security Testing, affiliated with ICST 2012
2012-01-01 Li, Keqin; Mallouli, Wissam; Vigano', Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Revised Selected Papers | 1-gen-2009 | Degano, Pierpaolo; Vigano', Luca | |
| Labelled Deduction | 1-gen-2000 | D., Basin; M., D’Agostino; D. M., Gabbay; S., Matthews; Vigano', Luca | |
| SecTest 2011, the Second International Workshop on Security Testing | 1-gen-2011 | Li, Keqin; Mallouli, Wissam; Vigano', Luca | |
| SecTest2012, the Third International Workshop on Security Testing, affiliated with ICST 2012 | 1-gen-2012 | Li, Keqin; Mallouli, Wissam; Vigano', Luca |