The Modelling and Analysis of Security Protocols (Addison−Wesley, 2001)

(untitled) - Roscoe, A; Ryan, P; Schneider, S; Goldsmith, M; Lowe, G