APA (7th ed.) Citation
Saul, E., & Hutchison, A. (2014). Facilitating the modelling and automated analysis of cryptographic protocols. Department of Computer Science.
Chicago Style (17th ed.) Citation
Saul, Elton, and Andrew Hutchison. Facilitating the Modelling and Automated Analysis of Cryptographic Protocols. Department of Computer Science, 2014.
MLA (9th ed.) Citation
Saul, Elton, and Andrew Hutchison. Facilitating the Modelling and Automated Analysis of Cryptographic Protocols. Department of Computer Science, 2014.
Warning: These citations may not always be 100% accurate.