Crazzolara F, Winskel G. Language, Semantics, and Methods for Cryptographic Protocols. BRICS [Internet]. 2000 Aug. 1 [cited 2024 Nov. 21];7(18). Available from: https://tidsskrift.dk/brics/article/view/20145