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

Abstract : Cryptographic 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 cryptographic primitives such as encryption is not sufficient to ensure security. The security of exchanges is ensured by cryptographic 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 cryptographic primitives. We give decision procedures for the security problem in presence of several algebraic operators.
Document type :
Theses
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. French


https://tel.archives-ouvertes.fr/tel-00132677
Contributor : Ens Cachan Bibliothèque <>
Submitted on : Thursday, February 22, 2007 - 12:41:21 PM
Last modification on : Thursday, February 22, 2007 - 2:51:08 PM

Identifiers

  • HAL Id : tel-00132677, version 1

Citation

Stéphanie Delaune. Vérification des protocoles cryptographiques et propriétés algébriques. Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. French. <tel-00132677>

Export

Share

Metrics

Consultation de
la notice

99

Téléchargement du document

16