@INPROCEEDINGS{HanataniOMSO-2012-fc,
  author        = {Hanatani, Yoshikazu and Ohkubo, Miyako and Matsuo, Shin'ichiro and Sakiyama, Kazuo and Ohta, Kazuo},
  title         = {A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous {RFID} Authentication},
  booktitle     = {16th International Conference on Financial Cryptography and Data Security -- FC'12},
  year          = {2012},
  editor        = {Danezis, George and Dietrich, Sven and Sako, Kazue},
  volume        = {7126},
  series        = {Lecture Notes in Computer Science},
  pages         = {70--87},
  address       = {Bonaire},
  month         = {March},
  organization  = {},
  publisher     = {},
  pdf           = {http://www.springerlink.com/content/27125127627t2310/fulltext.pdf},
  slides        = {},
  bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}