Federico Crazzolara Glynn Winskel Events in security protocols. 96-105 2001 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/501983.501998 db/conf/ccs/ccs2001.html#CrazzolaraW01