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]

Automated Formal Methods for Security Protocol Engineering

PIRONTI, ALFREDO;POZZA, DAVIDE;SISTO, Riccardo
2011

2011
9781609608514
9781609608521
9781609608538
Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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/2460578
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo