Robust RFID Authentication Protocol with Formal Proof and Its Feasibility

Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta. Robust RFID Authentication Protocol with Formal Proof and Its Feasibility. IACR Cryptology ePrint Archive, 2010:345, 2010. [doi]

@article{OhkuboMHSO10,
  title = {Robust RFID Authentication Protocol with Formal Proof and Its Feasibility},
  author = {Miyako Ohkubo and Shin'ichiro Matsuo and Yoshikazu Hanatani and Kazuo Sakiyama and Kazuo Ohta},
  year = {2010},
  url = {http://eprint.iacr.org/2010/345},
  researchr = {https://researchr.org/publication/OhkuboMHSO10},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2010},
  pages = {345},
}