Crazzolara, F.; Winskel, G. Events in Security Protocols. BRICS 2001, 8.