A security protocol for RFID traceability