APA (7th ed.) մեջբերում
ebrary, Inc. (2011). Formal models and techniques for analyzing security protocols. IOS Press.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. Washington, D.C.: IOS Press, 2011.
MLA (9րդ խմբ.) Մեջբերում
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.