Items related to Operational Semantics and Verification of Security...

Operational Semantics and Verification of Security Protocols - Softcover

Cremers, Cas; Mauw, Sjouke

 
9783540871132: Operational Semantics and Verification of Security Protocols
Softcover
ISBN 10: 3540871136 ISBN 13: 9783540871132
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2012
  • ISBN 10 3540871136
  • ISBN 13 9783540871132
  • BindingPaperback
  • LanguageEnglish
  • Number of pages188

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  354078635X ISBN 13:  9783540786351
Publisher: Springer, 2012
Hardcover