Conception de Systemes Repartis Securises A Base de Composants

L'objectif de ce travail est de fournir des modles et outils pour simplifier la construction des systmes distribus base de composants scuriss, ainsi que la gestion des proprits de scurit, en utilisant des outils de haut niveau d'abstraction pour la configuration et la reconfiguration dynamique. En plus des proprits d'accessibilit et de communications scurises classiques, nous focalisons notre travail sur une proprit des systmes rpartis plus gnrale : la non-interfrence. Cette proprit atteste qu'il ne doit pas y avoir de flux d'information entre des parties publiques et prives du systme. Ce qui implique le suivi de l'acheminement de l'information entre les diffrentes composantes du systme distribu. Notre objectif principal est donc de proposer un modle, accompagn d'un ensemble d'outils, garantissant la proprit de la non-interfrence la construction du systme, et ce une plus grosse granularit : celle des composants.