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

In corso di stampa
978-0-367-54665-6
Handbook of Formal Analysis and Verification in Cryptography
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