Crazzolara, Federico, and Glynn Winskel. 2000. “Language, Semantics, and Methods for Cryptographic Protocols”. BRICS Report Series 7 (18). https://doi.org/10.7146/brics.v7i18.20145.