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

par Sébastien Varrette

Thèse de doctorat en Algorithmique parallèle. Cryptographie

Sous la direction de Franck Leprevost et de Jean-Louis Roch.

Soutenue en 2007

à Grenoble, INPG en cotutelle avec l'Université du Luxembourg .


  • 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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (234 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 172 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS07/INPG/0103/D
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS07/INPG/0103
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.