Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ERSHOV
2003
Springer

favoriteEmaildiscussreport

113views Theoretical Computer Science» more ERSHOV 2003»

Principles for Entity Authentication

13 years 9 months ago

Principles for Entity Authentication

Download www.infsec.cs.uni-saarland.de

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.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Real-time Traffic

Authentication Protocols | Certain Component | Entity Authentication | ERSHOV 2003 |

claim paper

Related Content

» Provably Repairing the ISOIEC 9798 Standard for Entity Authentication

» Approximate Message Authentication and Biometric Entity Authentication

» Ninja Non Identity Based Privacy Preserving Authentication for Ubiquitous Environments

» The Principle of SelfDescription Identity Through Linking

» Authentication Primitives and Their Compilation

» Principles and Tools for Collaborative EntityBased Intelligence Analysis

» Software Process Modeling Principles of Entity Process Models

» Compositional Analysis of Authentication Protocols

» Entity authentication schemes using braid word reduction

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	ERSHOV
Authors	Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Comments (0)