Avoine, Gildas and Bingöl, Muhammed Ali and Kardaş, Süleyman and Lauradoux, Cedric and Martin, Benjamin (2010) A framework for analyzing RFID distance bounding protocols. (Accepted/In Press)