Archivio Istituzionale della RicercaPOZZA, DAVIDE
POZZA, DAVIDE
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
012821
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
Formally based semi-automatic implementation of an open security protocol
2012 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Detecting Chains of Vulnerabilities in Industrial Networks
2009 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formally based semi-automatic implementation of an open security protocol / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 85:4(2012), pp. 835-849. [10.1016/j.jss.2011.10.052] | 1-gen-2012 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | jss2011_postprint.pdf |
| JavaSPI: A Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo. - In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING. - ISSN 1947-3036. - STAMPA. - 2:4(2011), pp. 34-48. [10.4018/jsse.2011100103] | 1-gen-2011 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |
| Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] | 1-gen-2009 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO | 04895710.pdf; detectingChains_authorscopy.pdf |