APA (7th ed.) Citation

Roscoe, A., & Broadfoot, P. (1999). Proving security protocols with model checkers by data independence techniques. Journal of Computer Security, 7(2/3), 147. https://doi.org/10.3233/JCS-1999-72-303

Chicago Style (17th ed.) Citation

Roscoe, A.W, and P.J Broadfoot. "Proving Security Protocols with Model Checkers by Data Independence Techniques." Journal of Computer Security 7, no. 2/3 (1999): 147. https://doi.org/10.3233/JCS-1999-72-303.

MLA (9th ed.) Citation

Roscoe, A.W, and P.J Broadfoot. "Proving Security Protocols with Model Checkers by Data Independence Techniques." Journal of Computer Security, vol. 7, no. 2/3, 1999, p. 147, https://doi.org/10.3233/JCS-1999-72-303.