Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide (Information Cryptography)

Protocols for Authentication and Key Establishment (Information Security Cryptography)

Protocols for Authentication and Key Establishment (Information Security Cryptography)

Operational Semantics and Verification of Security Protocols (Information Cryptography)