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]
No references recorded for this publication.
No citations of this publication recorded.