Untangling RFID Privacy Models

Table 1

Analysis summary of the protocols. “✗” means no privacy. For the PK-based protocol, a property followed by “*” means that it is at least achieved with 𝖨𝖭𝖣-𝖢𝖯𝖠-security. For the sake of clarity, we denote “𝖭” and “𝖣𝖤𝖲𝖳𝖱” as being, respectively, “𝖭𝖠𝖱𝖱𝖮𝖶” and “𝖣𝖤𝖲𝖳𝖱𝖴𝖢𝖳𝖨𝖵𝖤.”

Model	Protocol
	SK based [37]	Tree based [8]	OSK based [22]	O FRAP [18]	PK based [22]
Avoine	𝖤𝗑𝗂𝗌𝗍𝖾𝗇𝗍𝗂𝖺𝗅-𝖴𝖭𝖳-RTE	𝖤𝗑𝗂𝗌𝗍𝖾𝗇𝗍𝗂𝖺𝗅-𝖴𝖭𝖳-RTE	𝖤𝗑𝗂𝗌𝗍𝖾𝗇𝗍𝗂𝖺𝗅-𝖴𝖭𝖳-RTE	𝖤𝗑𝗂𝗌𝗍𝖾𝗇𝗍𝗂𝖺𝗅-𝖴𝖭𝖳-RTE	𝖤𝗑𝗂𝗌𝗍𝖾𝗇𝗍𝗂𝖺𝗅-𝖴𝖭𝖳-RTE*
			𝖥𝗈𝗋𝗐𝖺𝗋𝖽-𝖴𝖭𝖳-RTEC	𝖥𝗈𝗋𝗐𝖺𝗋𝖽-𝖴𝖭𝖳-RTEC	𝖥𝗈𝗋𝗐𝖺𝗋𝖽-𝖴𝖭𝖳-RTEC*
JW	(𝜌,𝜎,𝜏)-privacy	✗	✗	(𝜌,𝜎,𝜏)-privacy	𝖥𝗈𝗋𝗐𝖺𝗋𝖽-(𝜌,𝜎,𝜏)-privacy
Vaudenay	𝖶𝖤𝖠𝖪-privacy	𝖶𝖤𝖠𝖪-privacy	𝖭-𝖣𝖤𝖲𝖳𝖱-privacy	𝖶𝖤𝖠𝖪-privacy	𝖭-𝖲𝖳𝖱𝖮𝖭𝖦-privacy*
					𝖥𝖮𝖱𝖶𝖠𝖣-privacy
LBM	✗	✗	✗	𝖥𝗈𝗋𝗐𝖺𝗋𝖽-security	𝖥𝗈𝗋𝗐𝖺𝗋𝖽-security
DMR	Untraceability	✗	Untraceability	Untraceability	Untraceability*
CCEG	𝖲𝗍𝖺𝗇𝖽𝖺𝗋𝖽-untraceability	𝖲𝗍𝖺𝗇𝖽𝖺𝗋𝖽-untraceability	✗	𝖲𝗍𝖺𝗇𝖽𝖺𝗋𝖽-untraceability	𝖥𝗎𝗍𝗎𝗋𝖾-untraceability
DLYZ	𝖹𝖪-privacy	✗	✗	𝖹𝖪-privacy	𝖡𝖺𝖼𝗄𝗐𝖺𝗋𝖽-𝖹𝖪-privacy
HPVP	𝖶𝖤𝖠𝖪-privacy	𝖶𝖤𝖠𝖪-privacy	𝖭-𝖣𝖤𝖲𝖳𝖱-privacy	𝖶𝖤𝖠𝖪-privacy	𝖭-𝖲𝖳𝖱𝖮𝖭𝖦-privacy*
					𝖲𝖳𝖱𝖮𝖭𝖦-privacy