Operational Semantics and Verification of Security Protocols
- Författare
- Cas. Cremers
- (Cas Cremers, Sjouke Mauw.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer Berlin Heidelberg, Imprint: Springer | 2012 | Tyskland, Berlin, Heidelberg | XIII, 172 sidor. 59 illus. digital. | 978-3-540-78636-8 |
Springer-Verlag | 2011 | Utgivningsland okänt / Ej specificerat, New York | xiii, 172 sidor. ill. | 978-3-540-78635-1 |