Formal Correctness of Security Protocols
Publisher: Springer
Published: Nov 29, 2010
Format: paperback
Number of pages: 296
ISBN-13: 9783642087820
Notes: Source title: Formal Correctness of Security Protocols (Information Security and Cryptography)