@InProceedings{basin.ea:iso9798:2012,
  author =       {David Basin and Cas Cremers and Simon Meier},
  title =        {Provably Repairing the {ISO/IEC 9798} Standard for Entity Authentication},
  booktitle =    {Proceedings of the 1st Conference on
                  Principles of Security and Trust ({POST})},
  pages =        {129--148},
  year =         {2012},
  volume =       {7215},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}