APA引文

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引文

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

警告：這些引文格式不一定是100％准確.