---

L objectif de ce travail est de fournir des modèles et outils pour simplifier la construction des systèmes distribués à base de composants sécurisés, ainsi que la gestion des propriétés de sécurité, en utilisant des outils de haut niveau d abstraction pour la configuration et la reconfiguration dynamique. En plus des propriétés d accessibilité et de communications sécurisées classiques, nous focalisons notre travail sur une propriété des systèmes répartis plus générale : la non-interférence. Cette propriété atteste qu il ne doit pas y avoir de flux d information entre des parties publiques et privées du système. Ce qui implique le suivi de l acheminement de l information entre les différentes composantes du système distribué. Notre objectif principal est donc de proposer un modèle, accompagné d un ensemble d outils, garantissant la propriété de la non-interférence à la construction du système, et ce à une plus grosse granularité : celle des composants.

---