Sécurité des architectures de calcul distribué : authentification et certification de résultats

Security in large scale computing systems : authentification and result checking

• 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

Cryptographie

Algorithmes

Mots clés libres

Calcul global

Sécurité

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.

Since their advent in the 90s, distributed computing platforms known as grids focus more and more research interests. This phD thesis deals with authentication and integrity issues on such architectures. Coneerning the fiist tapie, we deseribe and justify the construction of an authentication system adapted to cluster grids and validated sin ce 2005 on the Grid'5000 platform. Our contribution in the field of integrity is related to the correctness certification of parallel executions through result checking. Using an abstract representation of a parallel execution called macro-dataflow graph, partial duplication mechanisms are extended to provide probabilistic certification algorithms that are particularly efficient on trees and Fork-Join graphs. Such graphs appear frequently met in distributed computing as they represent the execution of Divide & Conquer algorithms. Our contributions are finally confronted in a medical application of image-based computer assisted diagnosis.