% This file has been automatically generated by extractref
\newlabel{andrew}{{Andrew Secure RPC}{0}}
\newlabel{andrewBAN}{{BAN modified Andrew Secure RPC}{0}}
\newlabel{andrewBAN2}{{BAN concrete Andrew Secure RPC}{0}}
\newlabel{andrewLowe}{{Lowe modified BAN concrete Andrew Secure RPC}{0}}
\newlabel{bull}{{Bull's Authentication Protocol}{0}}
\newlabel{cam}{{CAM}{0}}
\newlabel{ccittx509_1}{{CCITT X.509 (1)}{0}}
\newlabel{ccittx509_1c}{{CCITT X.509 (1c)}{0}}
\newlabel{ccittx509_3}{{CCITT X.509 (3)}{0}}
\newlabel{ccittx509_3BAN}{{BAN modified version of CCITT X.509 (3)}{0}}
\newlabel{denningSacco}{{Denning-Sacco shared key}{0}}
\newlabel{denningSaccoLowe}{{Lowe modified Denning-Sacco shared key}{0}}
\newlabel{diffieHelman}{{Diffie Helman}{0}}
\newlabel{gjm}{{GJM}{0}}
\newlabel{gong}{{Gong}{0}}
\newlabel{kaoChow1}{{Kao Chow Authentication v.1}{0}}
\newlabel{kaoChow2}{{Kao Chow Authentication v.2}{0}}
\newlabel{kaoChow3}{{Kao Chow Authentication v.3}{0}}
\newlabel{kerberos}{{Kerberos V5}{0}}
\newlabel{ksl}{{KSL}{0}}
\newlabel{kslLowe}{{Lowe modified KSL}{0}}
\newlabel{neumannStubblebine}{{Neumann Stubblebine}{0}}
\newlabel{neumannStubblebineHwang}{{Hwang modified version of Neumann Stubblebine}{0}}
\newlabel{nspk}{{Needham-Schroeder Public Key}{0}}
\newlabel{nspkLowe}{{Lowe's fixed version of Needham-Schroder Public Key}{0}}
\newlabel{nssk}{{Needham Schroeder Symmetric Key}{0}}
\newlabel{nssk_amended}{{Amended Needham Schroeder Symmetric Key}{0}}
\newlabel{otwayRees}{{Otway Rees}{0}}
\newlabel{schnorr}{{Schnorr's Protocol}{0}}
\newlabel{shamir}{{Shamir-Rivest-Adleman Three Pass Protocol}{0}}
\newlabel{sk3}{{SK3}{0}}
\newlabel{smartright_viewonly}{{SmartRight view-only}{0}}
\newlabel{spliceas}{{SPLICE/AS}{0}}
\newlabel{spliceas2}{{Hwang and Chen modified SPLICE/AS}{0}}
\newlabel{spliceas3}{{Clark and Jacob modified Hwang and Chen modified SPLICE/AS}{0}}
\newlabel{tmn}{{TMN}{0}}
\newlabel{wep}{{Wired Equivalent Privacy Protocol}{0}}
\newlabel{wideMouthedFrog}{{Wide Mouthed Frog}{0}}
\newlabel{wideMouthedFrogLowe}{{Lowe modified Wide Mouthed Frog}{0}}
\newlabel{wooLamMutual}{{Woo and Lam Mutual Authentication}{0}}
\newlabel{wooLamPi}{{Woo and Lam Pi}{0}}
\newlabel{wooLamPi1}{{Woo and Lam Pi 1}{0}}
\newlabel{wooLamPi2}{{Woo and Lam Pi 2}{0}}
\newlabel{wooLamPi3}{{Woo and Lam Pi 3}{0}}
\newlabel{wooLamPif}{{Woo and Lam Pi f}{0}}
\newlabel{yahalom}{{Yahalom}{0}}
\newlabel{yahalomBAN}{{BAN simplified version of Yahalom}{0}}
\newlabel{yahalomLowe}{{Lowe's modified version of Yahalom}{0}}
\newlabel{yahalomPaulson}{{Paulson's strengthened version of Yahalom}{0}}