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.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3540871136
ISBN 13 
9783540871132
Binding
Paperback

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