Donovan, B., Norris, P., & Lowe, G. (1999). Analyzing a Library of Security Protocols using Casper and FDR.
Chicago Style (17. basım) AtıfDonovan, B., P. Norris, ve G. Lowe. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.
MLA (9th ed.) AtıfDonovan, B., et al. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..