APA (7. basım) Alıntı

Roscoe, A. (1995). Modelling and verifying key−exchange protocols using CSP and FDR. IEEE.

Chicago Style (17. basım) Atıf

Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.

MLA (9th ed.) Atıf

Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..