APA (7th ed.) Citation

Lowe, G. (1998). Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(1/2), 53. https://doi.org/10.3233/JCS-1998-61-204

Chicago Style (17th ed.) Citation

Lowe, Gavin. "Casper: A Compiler for the Analysis of Security Protocols." Journal of Computer Security 6, no. 1/2 (1998): 53. https://doi.org/10.3233/JCS-1998-61-204.

MLA (9th ed.) Citation

Lowe, Gavin. "Casper: A Compiler for the Analysis of Security Protocols." Journal of Computer Security, vol. 6, no. 1/2, 1998, p. 53, https://doi.org/10.3233/JCS-1998-61-204.