Powiedz znajomym o tym przedmiocie:
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
Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 5 marca 2007 |
ISBN13 | 9783540681342 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 274 |
Wymiary | 156 × 234 × 17 mm · 548 g |
Język | French |
Zobacz wszystko od Giampaolo Bella ( np. Hardcover Book , Paperback Book i Book )