38,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
19 °P sammeln
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
Autorenporträt
Docteur en informatique, doctorat en co-tutelle entre l'université de Grenoble (France) et l'université de Tunis el Manar (Tunisie). Titulaire d'un master en Micro et Nano Électronique (INP Grenoble) et d'un diplôme de Génie Logiciel (INSAT Tunisie). Actuellement enseignante-chercheuse en Tunisie.