Principles for Entity Authentication

We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authentication. To this aim, we isolate a core set of roles that enables us to extract general principles that should be followed to avoid attacks.We then formalize these principles in terms of rules for protocol parties and we prove that protocols designed according to these rules will achieve entity authentication.

• Type: Conference
• Year: 2003
• Where: ERSHOV
• Authors: Michele Bugliesi, Riccardo Focardi, Matteo Maffei
• Keywords: Authentication Protocols, Certain Component, Entity Authentication, ERSHOV 2003