A new look at an old protocol

Analyses of the Needham-Schroeder protocol using the logics SVO and BAN are discussed. It is shown that the protocol may fail to meet goals derived in the [BAN89] analysis of it. The features of SVO analysis revealing the limitations on appropriateness of these goals are indicated.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Operating systems review 1996-07, Vol.30 (3), p.1-4
1. Verfasser:	SYVERSON, P. F
Format:	Artikel
Sprache:	eng
Schlagworte:	Access methods and protocols, osi model Applied sciences Computer science control theory systems Computer systems performance. Reliability Exact sciences and technology Office automation, teleprocessing Software Telecommunications Telecommunications and information theory Teleprocessing networks. Isdn
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Analyses of the Needham-Schroeder protocol using the logics SVO and BAN are discussed. It is shown that the protocol may fail to meet goals derived in the [BAN89] analysis of it. The features of SVO analysis revealing the limitations on appropriateness of these goals are indicated.
ISSN:	0163-5980 1943-586X
DOI:	10.1145/230908.230911