Tri Van Le Mike Burmester Breno de Medeiros Universally composable and forward-secure RFID authentication and authenticated key exchange. 242-252 2007 conf/ccs/2007asia ASIACCS http://doi.acm.org/10.1145/1229285.1229319 db/conf/ccs/asiaccs2007.html#LeBM07