Gergely Alpár, Lejla Batina, Wouter Lueks: Designated Attribute-Based Proofs for RFID Applications. RFIDSec 2012: 59-75