F. Crazzolara and G. Winskel, “Events in Security Protocols”, BRICS, vol. 8, no. 13, Apr. 2001.