@incollection{LNCS7215,
author={Basin, David and Cremers, Cas and Meier, Simon},
title={Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication},
booktitle={Principles of Security and Trust},
series={Lecture Notes in Computer Science},
volume={7215},
pages={129--148}
year={2012},
isbn={978-3-642-28640-7},
editor={Degano, Pierpaolo and Guttman, JoshuaD.},
doi={10.1007/978-3-642-28641-4_8},
url={http://dx.doi.org/10.1007/978-3-642-28641-4_8},
publisher={Springer Berlin Heidelberg},
}