Pastāsti draugiem par šo preci:
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography Cas Cremers 2011 edition
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, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2012. gada 31. oktobris |
| Oriģinālā izdošanas datums | 2011 |
| ISBN13 | 9783540786351 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 174 |
| Izmēri | 241 × 160 × 16 mm · 439 g |
| Valoda | Angļu |