Alec Yasinsac. Dynamic analysis of security protocols. In Mary Ellen Zurbo, Steven J. Greenwald, editors, Proceedings of the 2000 Workshop on New Security Paradigms, Ballycotton, Co. Cork, Ireland, September 18-21, 2000. pages 77-87, ACM, 2000. [doi]