Crazzolara, F. and Winskel, G. (2001) “Events in Security Protocols”, BRICS Report Series, 8(13). doi: 10.7146/brics.v8i13.20470.