Crazzolara, Federico, og Glynn Winskel. “Events in Security Protocols”. BRICS Report Series 8, no. 13 (april 13, 2001). Set december 7, 2025. https://tidsskrift.dk/brics/article/view/20470.