Untangling RFID Privacy Models

Box 6

Experiment Exp^{𝖢𝖢𝖤𝖦-𝖴𝖭𝖳}_𝒮,𝒜[𝜆]

(1) 𝒞 initializes the system and sends 1^𝜆, 𝒮's public parameters 𝗉𝖺𝗋𝖺𝗆 (including 𝖪_𝑃) to 𝒜.

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

(3) 𝒜 returns one link (𝒯_𝑖,𝒯_𝑗).

Exp^{𝖢𝖢𝖤𝖦-𝖴𝖭𝖳}_𝒮,𝒜 succeeds if (𝒯_𝑖,𝒯_𝑗) is a NOL.