Combining algorithms for deciding knowledge in security protocols

Mathilde Arnaud 1 Véronique Cortier 1 Stéphanie Delaune 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic functions (encryption, exclusive or, ...). The analysis of cryptographic protocols requires a precise understanding of the attacker knowledge. Two standard notions are usually used: deducibility and indistinguishability. Those notions are well-studied and a lot of decidability results already exist to deal with a variety of equational theories. We show that decidability results can be easily combined for any disjoint equational theories: if the deducibility and indistinguishability relations are decidable for two disjoint theories, they are also decidable for their union. As an application, new decidability results can be obtained using this combination theorem.
Type de document :
Rapport
[Research Report] RR-6118, INRIA. 2007
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00129418
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 8 février 2007 - 17:13:40
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:38:18

Fichiers

RR-6118.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00129418, version 2

Citation

Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune. Combining algorithms for deciding knowledge in security protocols. [Research Report] RR-6118, INRIA. 2007. 〈inria-00129418v2〉

Partager

Métriques

Consultations de la notice

359

Téléchargements de fichiers

188