Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100032
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:13:31 AM
Last modification on : Friday, January 15, 2021 - 3:24:28 AM

Identifiers

  • HAL Id : inria-00100032, version 1

Citation

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

Share

Metrics

Record views

280