Formal Correctness of Security Protocols (Information Security and Cryptography)
Publisher: Springer
Published: May 27, 2007
Number of pages: 274
ISBN-13: 9783540681366