Title: Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif
Subjects: Computer security