Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 31 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Operational Semantics and Verification of Security Protocols - Information Security and Cryptography 2011 edition

Precio
Mex$ 1.223
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Cas Cremers
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de octubre de 2012
Fecha de lanzamiento original 2011
ISBN13 9783540786351
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 174
Dimensiones 241 × 160 × 16 mm   ·   439 g
Lengua Inglés  

Más del mismo editor