APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.

MLA (9th ed.) Citation

Lowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.

Warning: These citations may not always be 100% accurate.