Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (8a ed.)

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