Artículos relacionados a Operational Semantics and Verification of Security...

Operational Semantics and Verification of Security Protocols - Tapa blanda

Cremers, Cas; Mauw, Sjouke

 
9783540871132: Operational Semantics and Verification of Security Protocols
Tapa blanda
ISBN 10: 3540871136 ISBN 13: 9783540871132
Editorial: Springer, 2012

Esta edición ISBN ya no está disponible.

Sinopsis

Introduction.- Preliminaries.- Operational Semantics.- Security Properties.- Verification.- Multiprotocol Attacks.- Generalizing NSL for Multiparty Authentication.- Related Work.- Conclusions and Future Work.- Index.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2012
  • ISBN 10 3540871136
  • ISBN 13 9783540871132
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540786351: Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Edición Destacada

ISBN 10:  354078635X ISBN 13:  9783540786351
Editorial: Springer, 2012
Tapa dura