Formal Correctness of Security Protocols (Information Security and Cryptography)
Edition: 1 edition
Publisher: Springer
Published: February 2007
Language: eng
Format: Hardcover
Number of pages: 287
ISBN-13: 9783540681342
Subjects: Network security; Mathematics; Science/Mathematics; Artificial Intelligence - General; Computer Science; Logic; Networking - General; Formal methods; Inductive techniques; Mathematics / Logic; Protocol engineering; Security protocols; Theorem proving