DURANTE, ANTONIO ANDREA
DURANTE, ANTONIO ANDREA
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018670
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A compiler for analyzing cryptographic protocols using non-interference / Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 9(4):(2000), pp. 488-528. | 1-gen-2000 | DURANTE, ANTONIO ANDREA + | - |