APA (7th ed.) Citation
ebrary, Inc. (2011). Formal models and techniques for analyzing security protocols. IOS Press.
Chicago Style (17th ed.) Citation
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. Washington, D.C.: IOS Press, 2011.
MLA (9th ed.) Citation
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
Warning: These citations may not always be 100% accurate.