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.
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
Bringhenti,Daniele;Sisto,Riccardo;Valenza,Fulvio;Yusupov,Jalolliddin
In corso di stampa
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
AcceptedChapter.pdf
non disponibili
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
303.19 kB
Formato
Adobe PDF
|
303.19 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11583/2974321