Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

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