Pastāsti draugiem par šo preci:
Formal Correctness of Security Protocols - Information Security and Cryptography Giampaolo Bella
Formal Correctness of Security Protocols - Information Security and Cryptography
Giampaolo Bella
Investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. This title examines the protocols including Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols.
296 pages, 64 black & white illustrations, 3 black & white tables, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2007. gada 5. marts |
| ISBN13 | 9783540681342 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 274 |
| Izmēri | 156 × 234 × 17 mm · 548 g |
| Valoda | Franču |
Vairāk no tā paša izdevēja
Skatīt visus Giampaolo Bella ( piem., Hardcover Book , Paperback Book un Book )