Provides the reader with a tutorial on some modern techniques to model and automatically analyze security protocols. The tutorial can be used as a basis for a m

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Frede

An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR -

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions,