Articoli correlati a Operational Semantics and Verification of Security...

Operational Semantics and Verification of Security Protocols - Brossura

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.

  • EditoreSpringer
  • Data di pubblicazione2012
  • ISBN 10 3540871136
  • ISBN 13 9783540871132
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

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