Sécurité des protocoles cryptographiques : décidabilité et complexité - Archive ouverte HAL
Thèse Année : 2003

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

Mathieu Turuani
  • Fonction : Auteur
  • PersonId : 755713
  • IdRef : 079451284
Laboratoire Lorrain de Recherche en Informatique et ses Applications

Résumé

Non disponible/Not available

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : tel-01746796 , version 1

Lien texte intégral

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

Partager

More