Skip to Main content Skip to Navigation
Theses

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 generalizes 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
Complete list of metadata

Cited literature [146 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748392
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:33:53 AM
Last modification on : Tuesday, April 24, 2018 - 1:53:20 PM
Long-term archiving on: : Friday, September 14, 2018 - 12:43:50 AM

File

SCD_T_2009_0069_CHRIDI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748392, version 1

Collections

Citation

Najah Chridi. Contributions à la vérification automatique de protocoles de groupes. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10069⟩. ⟨tel-01748392⟩

Share

Metrics

Record views

73

Files downloads

86