Title: Formal Correctness of Security Protocols (Information Security and Cryptography)
Subjects: Réseaux d'ordinateurs, Mesures, Chiffrement (Informatique), Computer networks, Security measures, Sécurité, Computer networks, security measures