Operational Semantics and Verification of Security Protocols - Brossura

Libro 9 di 25: Information Security and Cryptography

Cremers, Cas; Mauw, Sjouke

 
9783540871132: Operational Semantics and Verification of Security Protocols
Brossura
ISBN 10: 3540871136 ISBN 13: 9783540871132
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
3540871136
ISBN 13 
9783540871132
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540786351: Operational Semantics and Verification of Security Protocols

Edizione in evidenza

ISBN 10:  354078635X ISBN 13:  9783540786351
Casa editrice: Springer-Nature New York Inc, 2012
Rilegato