@article{jcs-bcm13,
  author    = {David A. Basin and
               Cas Cremers and
               Simon Meier},
  title     = {Provably repairing the ISO/IEC 9798 standard for entity
               authentication},
  journal   = {Journal of Computer Security},
  volume    = {21},
  number    = {6},
  year      = {2013},
  pages     = {817--846}
}