Crazzolara, F.; Winskel, G. Language, Semantics, and Methods for Cryptographic Protocols. BRICS 2000, 7.