VIGANO', Luca
VIGANO', Luca
DIPARTIMENTO DI SCIENZE GIURIDICHE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Alice and Bob: Reconciling Formal Models and Implementation
2015-01-01 Almousa, Omar; Mödersheim, Sebastian; Vigano', Luca
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
2009-01-01 Moedersheim, S.; Vigano', Luca
Towards Formal Validation of Trust and Security in the Internet of Services
2011-01-01 Carbone, Roberto; Minea, Marius; Moedersheim Sebastian, Alexander; Ponta Serena, Elisa; Turuani, Mathieu; Vigano', Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Alice and Bob: Reconciling Formal Models and Implementation | 1-gen-2015 | Almousa, Omar; Mödersheim, Sebastian; Vigano', Luca | |
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols | 1-gen-2009 | Moedersheim, S.; Vigano', Luca | |
Towards Formal Validation of Trust and Security in the Internet of Services | 1-gen-2011 | Carbone, Roberto; Minea, Marius; Moedersheim Sebastian, Alexander; Ponta Serena, Elisa; Turuani, Mathieu; Vigano', Luca |