Lowe, G. (1997). Casper: A Compiler for the Analysis of Security Protocols. IEEE.
Chicago Style (17th ed.) CitationLowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
ציטוט MLALowe, G. Casper: A Compiler for the Analysis of Security Protocols. IEEE, 1997.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.