Théories de l'intrus pour la vérification des protocoles cryptographiques

par Vincent Bernat

Thèse de doctorat en Informatique

Sous la direction de Hubert Comon-Lundh.

Soutenue en 2006

à Cachan, Ecole normale supérieure .


  • Résumé

    La conception d'un protocole cryptographique obéit à de nombreux impératifs : algorithmes à utiliser, propriétés à garantir, moyen d'identification, etc. Il apparaît donc régulièrement de nouveaux protocoles qu'il convient de vérifier. Malgré l'apparente simplicité, concevoir un protocole cryptographique est une tâche difficile et sujette à de nombreuses erreurs. Des failles pour certains protocoles ont été découvertes des années après leur conception. La plupart des travaux existants se basent uniformément sur l'intrus de Dolev Yao et ne se généralisent pas automatiquement à un intrus disposant de capacités supplémentaires ou différentes. Dans cette thèse, nous allons présenter un système de déduction prenant le pouvoir de l'intrus comme paramètre. De plus, les règles de protocole seront vues comme une capacité additionnelle pour l'intrus. Le résultat principal est un théorème de normalisation de preuve permettant de réduire l'espace de recherche des attaques.

  • Titre traduit

    Intruder theories for the verification of cryptographic protocols


  • Résumé

    Cryptographie protocols need to meet numerous goals: algorithms to use, properties to enforce, identification tools, etc. New protocols appear often. Despite the apparent simplicity, building a cryptographie protocol is difficult and can lead to errors. For some protocols, attacks have been found many years after their conception. Most existing works are based on the Dolev Yao intruder and cannot easily be extended to another intruder with more power. We present here a deduction system taking the intruder power as input. Moreover, protocol rules are added as a supplemental capacity of the intruder. The main result is a proof normalization theorem allowing to reduce the search space for attacks.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (162 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. [155]-160. Index

Où se trouve cette thèse ?

  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : THE BER (Salle de réf.)
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : CTLes / THE BER
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.