F. Crazzolara and G. Winskel, “Language, Semantics, and Methods for Cryptographic Protocols”, BRICS, vol. 7, no. 18, Aug. 2000.