The Modelling and analysis of security protocols: The CSP approach - Ryan, P.Y.A; Schneider, S.A. (London : Addison-Wesley)
Keywords: Computer Security; Computer protocols