BRINGHENTI, DANIELE
BRINGHENTI, DANIELE
Dipartimento di Automatica e Informatica
036828
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin - In: Handbook of Formal Analysis and Verification in Cryptography[s.l] : CRC Press, In corso di stampa. - ISBN 978-0-367-54665-6. | In corso di stampa | Bringhenti,DanieleSisto,RiccardoValenza,FulvioYusupov,Jalolliddin | AcceptedChapter.pdf |