On belief evolution in authentication protocols

Authentication protocols can be viewed from the perspective of the evolution of beliefs within a protocol run. Inference rules which ensue from this perspective are presented. These rules can be used to analyze the protocols which BAN logic can analyze. Additional protocols that can be analyzed incl...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kailar, R., Gligor, V.D.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Authentication Body sensor networks Cryptography Educational institutions Formal specifications Logic design Privacy Protocols Security
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!