APA (7e ed.) Bronvermelding
ebrary, Inc. (2011). Formal models and techniques for analyzing security protocols. IOS Press.
Chicago (17e ed.) Bronvermelding
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. Washington, D.C.: IOS Press, 2011.
MLA (9e ed.) Bronvermelding
ebrary, Inc. Formal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011.
Let op: Deze citaties zijn niet altijd 100% accuraat.