(Q114944940)
Statements
Provably repairing the ISO/IEC 9798 standard for entity authentication1 (English)
1 reference
David Basin
1 reference
Cas Cremers
1 reference
Simon Meier
1 reference
20 December 2013
1 reference
21
1 reference
6
1 reference
817-846
1 reference