Bill Roscoe

• Formal Methods
• Formal Methods : Foundations and Applications
• The modelling and analysis of security protocols