APA (7th ed.) Citation

(2011). Formal models and techniques for analyzing security protocols. IOS Press.

Chicago Style (17th ed.) Citation

Formal Models and Techniques for Analyzing Security Protocols. Amsterdam ; da Washington, DC: IOS Press, 2011.

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.