Mike Burmester Tri Van Le Breno de Medeiros Gene Tsudik Universally Composable RFID Identification and Authentication Protocols. 2009 12 ACM Trans. Inf. Syst. Secur. 4 http://doi.acm.org/10.1145/1513601.1513603 db/journals/tissec/tissec12.html#BurmesterLMT09