Analysing Security Protocols using CSP

Dettagli Bibliografici
Autore principale: Lowe, G
Altri autori: Cortier, V
Natura: Libro
Pubblicazione: 2011