Title: Mechanized proofs of security protocols
Subjects: Mathematical models, Computer security