Title: Formal Correctness of Security Protocols (Information Security and Cryptography)
Subjects: Computer networks, security measures