Featured
Compare webshops (2)
Pages: 345, Edition: 2003 ed., Hardcover, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Prices were last updated on: 20-03-2026, 12:24
Springer
Formal Correctness of Security Protocols (Information and Cryptography)
Operational Semantics and Verification of Security Protocols (Information Cryptography)
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide (Information Cryptography)
Back to top