توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
ebrary, Inc. (2011). Formal models and techniques for analyzing security protocols. IOS Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. Washington, D.C.: IOS Press, 2011.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.