Dyfyniad APA

Donovan, B., Norris, P., & Lowe, G. (1999). Analyzing a Library of Security Protocols using Casper and FDR.

Dyfyniad Arddull Chicago

Donovan, B., P. Norris, and G. Lowe. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.

Dyfyniad MLA

Donovan, B., et al. Analyzing a Library of Security Protocols Using Casper and FDR. 1999.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.