Sécurité des architectures de calcul distribué : authentification et certification de résultats
Auteur / Autrice : | Sébastien Varrette |
Direction : | Franck Leprévost, Jean-Louis Roch |
Type : | Thèse de doctorat |
Discipline(s) : | Algorithmique parallèle. Cryptographie |
Date : | Soutenance en 2007 |
Etablissement(s) : | Grenoble INPG en cotutelle avec Université du Luxembourg |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Depuis leur avènement dans les années 90, les plates-formes distribuées de type grille ont suscité un intérêt croissant. Cette thèse aborde les problèmes d'authentification et d'intégrité sur ces architectures. Sur le premier volet, nous décrivons la construction d'un système d'authentification adapté aux grilles de grappes et validé depuis 2005 sur la plate-forme Grid'5000. Notre contribution sur le plan de l'intégrité concerne la certification des résultats délivrés par une exécution. Une représentation abstraite de l'exécution parallèle appelée graphe de flot de données est utilisée pour étendre les approches par duplication partielle. Divers algorithmes de certification probabiliste sont proposés, particulièrement efficaces sur certains graphes fréquemment rencontrés comme les arbres ou les graphes « Fork-Join » représentant les exécutions d'algorithmes de type diviser pour régner. Nos contributions sont finalement confrontées dans une application médicale d'aide au diagnostic.