Khadem Mohtaram, A. (2013). Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible