L'objectif de ce travail est de fournir des modA]les et outils pour simplifier la construction des systA]mes distribuA(c)s A base de composants sA(c)curisA(c)s, ainsi que la gestion des propriA(c)tA(c)s de sA(c)curitA(c), en utilisant des outils de haut niveau d'abstraction pour la configuration et la reconfiguration dynamique. En plus des propriA(c)tA(c)s d'accessibilitA(c) et de communications sA(c)curisA(c)es classiques, nous focalisons notre travail sur une propriA(c)tA(c) des systA]mes rA(c)partis plus gA(c)nA(c)rale: la non-interfA(c)rence. Cette propriA(c)tA(c) atteste qu'il ne doit...
L'objectif de ce travail est de fournir des modA]les et outils pour simplifier la construction des systA]mes distribuA(c)s A base de composants sA(c)c...