Provably repairing the ISO/IEC 9798 standard for entity authentication (Journal of Computer Security, 2013)

(untitled) - Basin, D; Cremers, C; Meier, S