Operational Semantics and Verification of Security Protocols
Publisher: Springer
Published: Nov 09, 2014
Format: paperback
Number of pages: 188
ISBN-13: 9783642430534
Notes: Source title: Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)