Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 5 de marzo de 2007 |
| ISBN13 | 9783540681342 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 274 |
| Dimensiones | 156 × 234 × 17 mm · 548 g |
| Lengua | Francés |