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

by P Y A Ryan, S A Schneider, M H Goldsmith, G Lowe, A W Roscoe