Basel Alomair, Loukas Lazos, Radha Poovendran: Passive Attacks on a Class of Authentication Protocols for RFID. ICISC 2007: 102-115