3 works on record
The modelling and analysis of security protocols
2001
Formal Methods : Foundations and Applications
Formal Methods