Crazzolara F, Winskel G. Events in Security Protocols. BRICS [Internet]. 13. april 2001 [henvist 6. december 2025];8(13). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20470