Bounding messages for free in security protocols – extension to various security properties - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2014

Bounding messages for free in security protocols – extension to various security properties

Résumé

While the verification of security protocols has been proved to be undecidable in general, several approaches use simplifying hypotheses in order to obtain decidability for interesting subclasses. Amongst the most common is type abstraction, i.e. considering only well-typed runs of the protocol, therefore bounding message length. In this paper, we show how to get message boundedness “for free” under a reasonable (syntactic) assumption on protocols, in order to verify a variety of interesting security properties including secrecy and several authentication properties. This enables us to improve existing decidability results by restricting the search space for attacks.
Fichier principal
Vignette du fichier
versionjournal.pdf (578.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01083657 , version 1 (28-10-2015)

Identifiants

Citer

Myrto Arapinis, Marie Duflot. Bounding messages for free in security protocols – extension to various security properties. Information and Computation, 2014, pp.34. ⟨10.1016/j.ic.2014.09.003⟩. ⟨hal-01083657⟩
110 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More