Date Added: Dec 2011
Untraceability is an important aspect of RFID security. A BRS-based approach for modeling RFID untraceability is provided in this paper. Elements in a RFID protocol can be represented as bigraphs, communications between elements can be represented as reaction rules. RFID untraceability can be represented as behavioral congruences. The authors take a RFID air interface protocol as a case study and show the usability of this approach. In R Milner's bigraph theory, the metaphorical space of computer algorithms is mixed with the space of physical reality. A bigraph comprises a place graph which represents locations of computational nodes, and a link graph which represents interconnection of these nodes.