A Decision Procedure for the Verification of Security Protocols with Explicit Destructors

Stéphanie Delaune 1 Florent Jacquemard 2
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We present a non-deterministic polynomial time procedure to decide the problem of insecurity, in the presence of a bounded number of sessions, for cryptographic protocols containing explicit destructor symbols, like decryption and projection. These operators are axiomatized by an arbitrary convergent rewrite system satisfying some syntactic restrictions. This approach, with parameterized semantics, allows us to weaken the security hypotheses for verification, i.e. to address a larger class of attacks than for models based on free algebra. Our procedure is defined by an inference system based on basic narrowing techniques for deciding satisfiability of combinations of first-order equations and intruder deduction constraints.
Type de document :
Communication dans un congrès
Atluri, Vijayalakshmi and Pfitzmann, Birgit and McDaniel, Patrick. 11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. ACM Press, pp.278-287, 2004, Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS)
Liste complète des métadonnées

https://hal.inria.fr/inria-00579012
Contributeur : Florent Jacquemard <>
Soumis le : mardi 22 mars 2011 - 23:11:38
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : jeudi 23 juin 2011 - 02:59:30

Fichiers

DJ-ccs-2004.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00579012, version 1

Collections

Citation

Stéphanie Delaune, Florent Jacquemard. A Decision Procedure for the Verification of Security Protocols with Explicit Destructors. Atluri, Vijayalakshmi and Pfitzmann, Birgit and McDaniel, Patrick. 11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. ACM Press, pp.278-287, 2004, Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS). 〈inria-00579012〉

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

107