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.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.