@ARTICLE{AvoineBKLM-2011-jcs,
  author        = {Avoine, Gildas and Bing\"ol, Muhammed Ali and Karda\c{s}, S\"uleyman and Lauradoux, C\'edric and Martin, Benjamin},
  title         = {{A Framework for Analyzing RFID Distance Bounding Protocols}},
  journal       = {Journal of Computer Security --  Special Issue on RFID System Security},
  year          = {2011},
  volume        = {19},
  number        = {2},
  pages         = {289--317},
  month         = {March},
  bib           = {http://www.uclouvain.be/sites/security/download/bib/AvoineBKLM-2011-jcs.bib},
  bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}