Не ви допада? Няма проблеми! При нас имате възможност за връщане в рамките на 30 дни
Няма да сбъркате с подаръчен ваучер. Получателят може да избере нещо от нашия асортимент с подаръчен ваучер.
30 дни за връщане на стоката
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.