Vérification des protocoles cryptographiques et propriétés algébriques

par Stéphanie Delaune

Thèse de doctorat en Informatique

Sous la direction de Hubert Comon-Lundh.

Soutenue en 2006

à Cachan, Ecole normale supérieure .


  • Résumé

    Avec le développement des réseaux de communications comme Internet, le besoin d'assurer la sécurité des échanges a considérablement augmenté. Les communications " sécurisées " sont réalisées par l'utilisation de petits programmes appelés protocoles cryptographiques qui peuvent être attaqués même en présence d'un chiffrement parfait. De telles failles, qualifiées de " failles logiques ", sont souvent subtiles et difficiles à déceler à la simple vue du texte du protocole. Dans cette thèse, nous poussons les limites de l'analyse des protocoles au delà de cette hypothèse. En particulier, nous proposons des procédures de décision, pour le problème de la recherche d'attaques en présence d'opérateurs satisfaisant des propriétés algébriques.

  • Titre traduit

    Verification of cryptographie protocols with algebraic properties


  • Résumé

    Cryptographie protocols are small concurrent programs designed to guarantee the security of exchanges between participants using non secure medium. Establishing the correctness of these protocols is crucial. Unfortunately, the existence of cryptographie primitives such as encryption is not sufficient to ensure security. The security of exchanges is ensured by cryptographie protocols which are notoriously error prone. To verify such protocols, a line of research consists in considering encryption as a black box and assuming that an adversary can't learn anything from an encrypted message except if he has the key. This is called the perfect cryptography assumption. In this thesis, we relax the perfect cryptography assumption by taking into account some algebraic properties of cryptographie primitives. We give decision procedures for the security problem in presence of several algebraic operators.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (195 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. [185]-192

Où se trouve cette thèse ?

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