PIRONTI, ALFREDO
PIRONTI, ALFREDO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018646
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Automated Formal Methods for Security Protocol Engineering / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo - In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A.. - STAMPA. - Hershey PA : IGI Global, 2011. - ISBN 9781609608514. - pp. 138-166 [10.4018/978-1-60960-851-4.ch008] | 1-gen-2011 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |