Modelling and Analysis of Security Protocols: the CSP Approach (2001)

by P Ryan, S Schneider