Provably Repairing the ISO / IEC 9798 Standard for Entity


We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some that violate even the most basic authentication guarantees. We analyze the cause of these weaknesses, propose repaired versions of the protocols, and provide automated, machine-checked proofs… (More)


10 Figures and Tables

Slides referencing similar topics