TRUST : un système de vérification automatique de protocoles cryptographiques / Vincent Vanackère ; sous la direction de Roberto Amadio et de Denis Lugiez

Auteur principal : Vanackère, Vincent, 1977-, AuteurAuteur secondaire : Lugiez, Denis, Directeur de thèse • Amadio, Roberto M., 1963-, Directeur de thèseAuteur secondaire collectivité : Université Aix-Marseille 1, Etablissement de soutenanceType de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 2004Description : 1 vol. (130 p.)Bibliographie : Bibliogr. p. [127]-130.Sujet MSC : 94A60, Communication, information, Cryptography
68Wxx, Computer science - Algorithms in computer science
68M12, Computer system organization, Network protocols
68P25, Computer science - Theory of data, Data encryption
97-02, Research exposition (monographs, survey articles) pertaining to mathematics education
Note de thèse: Thèse de doctorat, informatique, 2004, université Aix-Marseille I Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle S
Thèses VAN (Browse shelf(Opens below)) Available 03524-01

Bibliogr. p. [127]-130

Thèse de doctorat informatique 2004 université Aix-Marseille I

La vérification automatique des protocoles cryptographiques est un problème difficile et aux répercussions économiques importantes. On sait par ailleurs qu'il n'admet pas de solution générale car il est indécidable pour un nombre non borné de sessions. Nous nous intéressons dans cette thèse à l'étude des protocoles comportant un nombre borné de sessions en parallèle. Nous introduisons un système de réduction symbolique qui permet dans ce cadre d'effectuer une vérification exacte de ces protocoles. Afin de rendre cette méthode utilisable en pratique sur des protocoles comportant plusieurs sessions en parallèle, nous développons deux méthodes avancées de réduction de l'espace d'états adaptées à une recherche en profondeur. Enfin, nous présentons TRUST, un outil pour la vérification automatique de protocoles cryptographiques. TRUST intègre l'ensemble de ces résultats théoriques afin de fournir un outil de vérification qui soit à la fois simple à utiliser et efficace.

There are no comments on this title.

to post a comment.