Donovan, B., Norris, P., & Lowe, G. (1999). Analyzing a Library of Security Protocols using Casper and FDR.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Donovan, B., P. Norris, và G. Lowe. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Donovan, B., et al. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.