Roscoe, A. (1995). Modelling and verifying key−exchange protocols using CSP and FDR. IEEE.
Chicago-viite (17. p.)Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.
MLA-viite (9. p.)Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.