Povej prijatelju o tem izdelku:
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography Cas Cremers
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography
Cas Cremers
This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.
174 pages, black & white illustrations, bibliography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 9. novembra 2014 |
| Prvotni datum izida | 2011 |
| ISBN13 | 9783642430534 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 174 |
| Dimenzije | 155 × 235 × 10 mm · 295 g |
| Jezik | Nemščina |