TRUST : un système de vérification automatique de protocoles cryptographiques / Vincent Vanackère ; sous la direction de Roberto Amadio et de Denis Lugiez
Type 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, Cryptography68Wxx, 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 educationNote de thèse: Thèse de doctorat, informatique, 2004, université Aix-Marseille I
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
CMI Réserve | 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.