Archivio Istituzionale della RicercaPIRONTI, ALFREDO
PIRONTI, ALFREDO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018646
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.002 secondi).
Formal Verification of Security Protocol Implementations: A Survey
2014 Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo
Safe abstractions of data encodings in formal security protocol models
2014 Pironti, Alfredo; Sisto, Riccardo
Formally based semi-automatic implementation of an open security protocol
2012 Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 Cheminod, M.; Pironti, Alfredo; Sisto, Riccardo
JavaSPI: A Framework for Security Protocol Implementation
2011 Avalle, MATTEO CARLO; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo
Formally-Based Black-Box Monitoring of Security Protocols
2010 Pironti, Alfredo; Jürjens, J.
Provably correct Java implementations of Spi Calculus security protocols specifications
2010 Pironti, Alfredo; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formal Verification of Security Protocol Implementations: A Survey / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 26:1(2014), pp. 99-123. [10.1007/s00165-012-0269-9] | 1-gen-2014 | AVALLE, MATTEO CARLOPIRONTI, ALFREDOSISTO, Riccardo | article.pdf |
| Safe abstractions of data encodings in formal security protocol models / Pironti, Alfredo; Sisto, Riccardo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 26:1(2014), pp. 125-167. [10.1007/s00165-012-0267-y] | 1-gen-2014 | PIRONTI, ALFREDOSISTO, Riccardo | article.pdf |
| 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 |
| Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access / Cheminod, M.; Pironti, Alfredo; Sisto, Riccardo. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 7(1):(2011), pp. 30-40. [10.1109/TII.2010.2099233] | 1-gen-2011 | PIRONTI, ALFREDOSISTO, Riccardo + | main.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 | - |
| Formally-Based Black-Box Monitoring of Security Protocols / Pironti, Alfredo; Jürjens, J.. - 5965/2010:(2010), pp. 79-95. [10.1007/978-3-642-11747-3_7] | 1-gen-2010 | PIRONTI, ALFREDO + | - |
| Provably correct Java implementations of Spi Calculus security protocols specifications / Pironti, Alfredo; Sisto, Riccardo. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - STAMPA. - 29(3):3(2010), pp. 302-314. [10.1016/j.cose.2009.08.001] | 1-gen-2010 | PIRONTI, ALFREDOSISTO, Riccardo | cose2009_author_postprint.pdf |