A Survey of Algebraic Properties Used in Cryptographic Protocols

Véronique Cortier 1 Stéphanie Delaune 2 Pascal Lafourcade 2
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, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that an adversary cannot learn anything from an encrypted message except if he has the key. Such an assumption is too strong in general since some attacks exploit in a clever way the interaction between protocol rules and properties of cryptographic operators. Moreover, the executability of some protocols relies explicitly on some algebraic properties of cryptographic primitives such as commutative encryption. We give a list of some relevant algebraic properties of cryptographic operators, and for each of them, we provide examples of protocols or attacks using these properties. We also give an overview of the existing methods in formal approaches for analyzing cryptographic protocols.
Type de document :
Article dans une revue
Journal of Computer Security, IOS Press, 2006, 14 (1), pp.1-43
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00000552
Contributeur : Véronique Cortier <>
Soumis le : jeudi 14 décembre 2017 - 16:43:59
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Fichier

surveyCDL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00000552, version 1

Citation

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade. A Survey of Algebraic Properties Used in Cryptographic Protocols. Journal of Computer Security, IOS Press, 2006, 14 (1), pp.1-43. 〈inria-00000552〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

23