2 works on record
Formal models and techniques for analyzing security protocols
Formal to Practical Security