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.
Type de document :
Thèse
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. 〈NNT : 2007NAN10144〉
Liste complète des métadonnées

https://hal.univ-lorraine.fr/tel-01748534
Contributeur : Thèses Ul <>
Soumis le : jeudi 29 mars 2018 - 11:37:36
Dernière modification le : mardi 24 avril 2018 - 13:53:23
Document(s) archivé(s) le : vendredi 14 septembre 2018 - 07:12:32

Fichier

SCD_T_2007_0144_ZALINESCU.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

18

Téléchargements de fichiers

10