Sécurité des protocoles cryptographiques : décidabilité et complexité

Thèse Année : 2003

(1)

1 (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) 206040

Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) 300009
UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) 413289
CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) 441569

"> LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mathieu Turuani

Fonction : Auteur
PersonId : 755713
IdRef : 079451284

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Résumé

Non disponible/Not available

Mots clés

Cryptographie Protocoles de réseaux d'ordinateurs-Modèles mathématiques Complexité de calcul (informatique) Algorithmes optimaux Méthodes formelles (informatique) Logiciels -- Vérification

Domaines

Autre [cs.OH]

Thèses UL : Connectez-vous pour contacter le contributeur

https://hal.univ-lorraine.fr/tel-01746796

Soumis le : jeudi 29 mars 2018-10:45:00

Dernière modification le : lundi 11 septembre 2023-17:41:19

Dates et versions

tel-01746796 , version 1 (29-03-2018)

Identifiants

HAL Id : tel-01746796 , version 1

Citer

Mathieu Turuani. Sécurité des protocoles cryptographiques : décidabilité et complexité. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10223⟩. ⟨tel-01746796⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA THESES-UL

58 Consultations

0 Téléchargements