APA-Zitierstil (7. Ausg.)
ebrary, Inc. (2011). Formal models and techniques for analyzing security protocols. IOS Press.
Chicago-Zitierstil (17. Ausg.)
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. Washington, D.C.: IOS Press, 2011.
MLA-Zitierstil (9. Ausg.)
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.