Diagnostic distribué de systèmes respectant la confidentialité

Résumé : Dans cette thèse, nous nous intéressons à diagnostiquer des systèmes intrinsèquement distribués (comme les systèmes pairs-à-pairs) où chaque pair n'a accès qu'à une sous partie de la description d'un système global. De plus, en raison d'une politique d'accès trop restrictive, il sera pourra qu'aucun pair ne puisse expliquer le comportement du système global. Dans ce contexte, le challenge du diagnostic distribué est le suivant: expliquer le comportement global d'un système distribué par un ensemble de pairs ayant chacun une vision limitée, tout comme l'aurait fait un unique pair diagnostiqueur ayant, lui, une vision globale du système.D'un point de vue théorique, nous montrons que tout nouveau système, logiquement équivalent au système pair-à-pairs initialement observé, garantit que tout diagnostic local d'un pair pourra être prolongé par un diagnostic global (dans ce cas, le nouveau système est dit correct pour le diagnostic distribué).Nous montrons aussi que si ce nouveau système est structuré (c-à-d: il contient un arbre couvrant pour lequel tous les pairs contenant une même variable forme un graphe connecté) alors il garantit que tout diagnostic global pourra être retrouvé à travers un ensemble de diagnostics locaux des pairs (dans ce cas le nouveau système est dit complet pour le diagnostic distribué).Dans un souci de représentation succincte et afin de respecter la politique de confidentialité du vocabulaire de chacun des pairs, nous présentons un nouvel algorithme Token Elimination (TE), qui décompose le système de pairs initial vers un système structuré.Nous montrons expérimentalement que TE produit des décompositions de meilleurs qualité (c-à-d: de plus petites largeurs arborescentes) que les méthodes envisagées dans un contexte distribué.À partir du système structuré construit par TE, nous transformons chaque description locale en une Forme Normale Disjonctive (FND) globalement cohérente.Nous montrons que ce dernier système garantit effectivement un diagnostic distribué correct et complet. En plus, nous exhibons un algorithme capable de vérifier efficacement que tout diagnostic local fait partie d'un diagnostic minimal global, faisant du système structuré de FNDs un système compilé pour le diagnostic distribué.
Type de document :
Thèse
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. 〈NNT : 2012PA112197〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00763370
Contributeur : Abes Star <>
Soumis le : jeudi 27 novembre 2014 - 17:09:46
Dernière modification le : mardi 24 avril 2018 - 13:51:58
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:14:10

Fichier

VD2_ARMANT_VINCENT_27092012.pd...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00763370, version 1

Collections

Citation

Vincent Armant. Diagnostic distribué de systèmes respectant la confidentialité. Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. 〈NNT : 2012PA112197〉. 〈tel-00763370〉

Partager

Métriques

Consultations de la notice

198

Téléchargements de fichiers

208