David A. Basin, Cas Cremers, Simon Meier. Provably repairing the ISO/IEC 9798 standard for entity authentication. Journal of Computer Security, 21(6):817-846, 2013. [doi]
@article{BasinCM13,
title = {Provably repairing the ISO/IEC 9798 standard for entity authentication},
author = {David A. Basin and Cas Cremers and Simon Meier},
year = {2013},
doi = {10.3233/JCS-130472},
url = {http://dx.doi.org/10.3233/JCS-130472},
researchr = {https://researchr.org/publication/BasinCM13},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {21},
number = {6},
pages = {817-846},
}