APA (7th ed.) Citation

IOS Press, Cortier, V., & Kremer, S. (2011). Formal models and techniques for analyzing security protocols. IOS Press.

Chicago Style (17th ed.) Citation

IOS Press, Véronique Cortier, and Steve Kremer. Formal Models and Techniques for Analyzing Security Protocols. Amsterdam ; Da Washington, DC: IOS Press, 2011.

MLA (9th ed.) Citation

IOS Press, et al. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.