Contributions à la vérification automatique de protocoles de groupes.

Abstract : Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroeder, very few address the class of group protocols whose main characteristics are : the specific security properties that
they must satisfy, and the arbitrary number of participants they imply.
This thesis provides two main contributions. The first one deals with the first characteristic of group protocols. For that, we defined a model called the services model which we used to propose a strategy for flaws detection based on constraints solving. The suggested approach allows us to find known attacks and new ones on some group protocols. Some attacks have been also generalized to cover the case of n participants. The second main contribution of
this thesis consists in defining a synchronous model, that eneralizes standard protocol models by permitting unbounded lists inside messages. This is ensured by the introduction of a new operator called mpair which represents a list built on the same pattern. In this extended model, we have proposed a decision procedure for a particular class of group protocols called the class of well-tagged protocols with autonomous keys, in presence of an active intruder and with composed keys.
Document type :
Theses
Other. Université Henri Poincaré - Nancy I, 2009. French


https://tel.archives-ouvertes.fr/tel-00417290
Contributor : Najah Chridi <>
Submitted on : Tuesday, September 15, 2009 - 3:31:07 PM
Last modification on : Tuesday, September 15, 2009 - 3:51:07 PM

Identifiers

  • HAL Id : tel-00417290, version 1

Collections

Citation

Najah Chridi. Contributions à la vérification automatique de protocoles de groupes.. Other. Université Henri Poincaré - Nancy I, 2009. French. <tel-00417290>

Export

Share

Metrics

Consultation de
la notice

218

Téléchargement du document

54