Provably repairing the ISO/IEC 9798 standard for entity authentication

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]

Abstract

Abstract is missing.