The Modelling And Analysis Of Security Protocols door Peter Ryan & Steve Schneider