ISBN 9783540786351 books & textbook

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

Cremers, Cas Mauw, Sjouke

Springer /2012-10-31 Hardcover / 188 Pages
isbn-10: 354078635X / isbn-13: 9783540786351