Provably Repairing the ISO / IEC 9798 Standard for Entity

Abstract

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)

Topics

10 Figures and Tables

Slides referencing similar topics