Casper: A compiler for the analysis of security protocols. - Lowe, Gavin (Journal of Computer Security, 1998)