Cite
A derivation system and compositional logic for security protocols.
MLA
Datta, Anupam, et al. “A Derivation System and Compositional Logic for Security Protocols.” Journal of Computer Security, vol. 13, no. 3, June 2005, pp. 423–82. EBSCOhost, https://doi.org/10.3233/JCS-2005-13304.
APA
Datta, A., Derek, A., Mitchell, J. C., & Pavlovic, D. (2005). A derivation system and compositional logic for security protocols. Journal of Computer Security, 13(3), 423–482. https://doi.org/10.3233/JCS-2005-13304
Chicago
Datta, Anupam, Ante Derek, John C. Mitchell, and Dusko Pavlovic. 2005. “A Derivation System and Compositional Logic for Security Protocols.” Journal of Computer Security 13 (3): 423–82. doi:10.3233/JCS-2005-13304.