@InProceedings{fc10,
  author    = {Shin'ichiro Matsuo and
               Kunihiko Miyazaki and
               Akira Otsuka and
               David A. Basin},
  title     = {How to Evaluate the Security of Real-Life Cryptographic
               Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC},
  booktitle = {Financial Cryptography and Data Security, FC 2010 Workshops,
               RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain,
               January 25-28, 2010, Revised Selected Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6054},
  year      = {2010},
  pages     = {182--194}
}