Untangling RFID Privacy Models

Box 4

Experiment Exp^{𝖵𝖺𝗎𝖽-𝗉𝗋𝗂𝗏}_𝒮,𝒜[𝜆]

(1) 𝒞 initializes the system and sends 1^𝜆, and 𝖪_𝖯 to 𝒜.

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

(3) 𝒜 analyzes the system without oracle queries.

(4) 𝒜 receives the hidden table 𝖳𝖺𝖻 of the DRAWTAG oracle.

(5) 𝒜 returns true or false.

Exp^{𝖵𝖺𝗎𝖽-𝗉𝗋𝗂𝗏}_𝒮,𝒜 succeeds if 𝒜 returns true.