Kun Peng, Feng Bao: A Secure RFID Ticket System for Public Transport. DBSec 2010: 350-357