Untangling RFID Privacy Models

Box 9

Experiment Exp^{𝖧𝖯𝖵𝖯-𝗉𝗋𝗂𝗏}_𝒮,𝒜[𝜆,𝑏]

(1) 𝒞 initializes the system, chooses a random bit 𝑏, and sends 1^𝜆 and 𝒮's public parameters 𝗉𝖺𝗋𝖺𝗆 to 𝒜.

(2) 𝒜 interacts with the whole system, limited by its class 𝒫.

(3) 𝒜 outputs a guess bit 𝑏^′.

Exp^{𝖧𝖯𝖵𝖯-𝗉𝗋𝗂𝗏}_𝒮,𝒜 succeeds if 𝑏=𝑏^′.