An Analysis of a Public-Key Protocol with Membranes - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2005

An Analysis of a Public-Key Protocol with Membranes

Résumé

In this paper, we develop an analysis of the Needham-Schroeder Public-Key Protocol in the framework of membrane computing. This analysis is used to validate the protocol and exhibits, as expected, a well known logical attack. The novelty of our approach is to use multiset rewriting in a nest of membranes. The use of membranes enables to tight the conditions for detecting an attack. The approach has been validated by developing a full implementation for several versions of the analysis.
Fichier principal
Vignette du fichier
nspk-05.pdf (278.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00340140 , version 1 (18-07-2009)

Identifiants

Citer

Olivier Michel, Florent Jacquemard. An Analysis of a Public-Key Protocol with Membranes. Ciobanu, G. and Paun, G. and Pérez-Jiménez, J. Applications of Membrane Computing, Springer Verlag, pp.283--302, 2005, Natural Computing Series, ⟨10.1007/3-540-29937-8⟩. ⟨hal-00340140⟩
107 Consultations
178 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More