Skip to Main content Skip to Navigation
Theses

Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert

Résumé : Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles : - traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle; - propriétés de sécurité : secret fort, existence de cycles de clefs; - approches pour la sécurité : construction de protocoles sûrs. Ainsi, nous avons montré la décidabilité (d'une part) de l'existence de cycles de clefs et (d'autre part) du secret pour des protocoles utilisant le mode de chiffrement CBC ou des signatures en aveugle. Nous avons aussi transféré la sécurité des protocoles d'un cadre faible vers un cadre plus fort dans les sens suivants. D'une part, nous avons montré qu'une propriété de secret faible implique sous certaines hypothèses une propriété de secret plus forte. D'une autre part, nous avons construit des protocoles sûrs à partir de protocoles ayant des propriétés plus faibles.
Document type :
Theses
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01748534
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:37:36 AM
Last modification on : Tuesday, April 24, 2018 - 1:53:23 PM
Document(s) archivé(s) le : Friday, September 14, 2018 - 7:12:32 AM

File

SCD_T_2007_0144_ZALINESCU.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748534, version 1

Collections

Citation

Eugen Zalinescu. Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10144⟩. ⟨tel-01748534⟩

Share

Metrics

Record views

59

Files downloads

21