Gavin Lowe. Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security, 6(1-2):53-84, 1998.
@article{Lowe98:2, title = {Casper: A Compiler for the Analysis of Security Protocols}, author = {Gavin Lowe}, year = {1998}, tags = {protocol, analysis, security, compiler}, researchr = {https://researchr.org/publication/Lowe98%3A2}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {6}, number = {1-2}, pages = {53-84}, }