Casper: A Compiler for the Analysis of Security Protocols - Lowe, G (IEEE, 1997)