Cremers, Cas (Autor)
Operational Semantics and Verification of Security Protocols
Information Security and Cryptography
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-540-78636-8 |
|---|---|
| Seitenzahl | 185 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 3259 Kbytes |