@inproceedings{BCM2012,
  author    = {David Basin and Cas Cremers and Simon Meier},
  title     = {Provably Repairing the {ISO/IEC 9798} Standard for Entity Authentication},
  year      = {2012},
  pages     = {129-148},
  editor    = {Pierpaolo Degano and Joshua D. Guttman},
  booktitle = {Principles of Security and Trust - First International Conference,
               POST 2012, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, ETAPS 2012, Tallinn,
               Estonia, March 24 - April 1, 2012, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7215},
}