Lowe, G. (1997). Casper: A Compiler for the Analysis of Security Protocols. IEEE.
芝加哥风格引文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％准确.