Untangling RFID Privacy Models

Box 7

Experiment Exp^{𝖹𝖪-𝗉𝗋𝗂𝗏}_𝒮,𝒜[𝜆,𝑛]                               (real world)

(1) 𝒞 initializes the system and sends 1^𝜆, 𝗉𝖺𝗋𝖺𝗆 to 𝒜.

(2) {𝐶,𝗂𝗇𝖿𝗈}←𝒜^𝒪₁(ℛ,𝑇,𝗉𝖺𝗋𝖺𝗆), where 𝐶={𝒯_𝑖1,𝒯_𝑖2,…,𝒯_𝑖𝛿}⊆𝑇 is a set of clean tags

 (0≤𝛿≤𝑛), and 𝗂𝗇𝖿𝗈 is a state information.

(3) 𝑐∈_𝑅{1,…,𝛿}, set 𝒯_𝑐=𝒯_𝑖𝑐 and 𝑇=𝑇−𝐶.

(4) 𝑣𝑖𝑒𝑤_𝒜←𝒜^𝒪₂(ℛ,𝑇,ℐ(𝒯_𝑐),𝗂𝗇𝖿𝗈).

(5) Output (𝑐,𝑣𝑖𝑒𝑤_𝒜(𝜆,𝑛)).