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.

Editorial
Springer
Año de publicación
2012
Idioma
Inglés
ISBN 10 
3540871136
ISBN 13 
9783540871132
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

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