2 works on record
Formal models and techniques for analyzing security protocols
Principles of Security and Trust