ISBN-13: 9783838170565 / Francuski / Miękka / 2018 / 200 str.
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 pas y avoir de flux d'information entre des parties publiques et privA(c)es du systA]me. Ce qui implique le suivi de l'acheminement de l'information entre les diffA(c)rentes composantes du systA]me distribuA(c). Notre objectif principal est donc de proposer un modA]le, accompagnA(c) d'un ensemble d'outils, garantissant la propriA(c)tA(c) de la non-interfA(c)rence A la construction du systA]me, et ce A une plus grosse granularitA(c) celle des composants.
Lobjectif 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 dabstraction pour la configuration et la reconfiguration dynamique. En plus des propriétés daccessibilité 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 quil ne doit pas y avoir de flux dinformation entre des parties publiques et privées du système. Ce qui implique le suivi de lacheminement de linformation entre les différentes composantes du système distribué. Notre objectif principal est donc de proposer un modèle, accompagné dun ensemble doutils, garantissant la propriété de la non-interférence à la construction du système, et ce à une plus grosse granularité : celle des composants.