Automatic Verification of Security Protocols

Laurent Vigneron 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 : Internet is becoming everyday a more widely used medium for electronic commerce. This development is hampered by the natural insecurity of communications, as it is not possible to guarantee that some data exchanged is not listened by someone else, or even that it really originated from the claimed sender. This lack of security leads to the development of security protocols, that is small messages sequences, after which the author provides some properties to the user, such as the correct identification of the users (called agents) and the privacy of some data pieces. There has been a significant amount of work toward the specification of security protocols and the search for attacks, but much less toward the positive verification of protocol properties. After a quick overview of the main techniques developped for considering these three levels, we will focus on some recent ones that are based on constraint solving and unification. They combine several different problems, such as unification and matching in some theories, reachability problems, deduction, and all this in the context of the properties of cryptographic primitives.
Type de document :
Communication dans un congrès
Kohlhase, Michael. 18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 2 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00100032
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:31
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Identifiants

  • HAL Id : inria-00100032, version 1

Citation

Laurent Vigneron. Automatic Verification of Security Protocols. Kohlhase, Michael. 18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 2 p, 2004. 〈inria-00100032〉

Partager

Métriques

Consultations de la notice

247