Analysing Security Protocols using CSP

Bibliografiset tiedot
Päätekijä: Lowe, G
Muut tekijät: Cortier, V
Aineistotyyppi: Kirja
Julkaistu: 2011