Thèse (Ph. D.)--Université Laval, 2008. / Bibliogr. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

Diss.--Philosophische Fakultät IV--Universität Regensburg, 1988.

Reproduction de : Thèse doctorat : Pharmacie.Biochimie-Biologie moléculaire : Reims : 2007. / Titre provenant de l'écran-titre. Bibliogr. p.186-218.

Thèse de doctorat : Sciences du langage : Rennes 2 : 2009. / Bibliogr. f. 243-259 (139 réf. bibliogr.). Index des termes, notions et auteurs. Annexes.

Thèse (Ph. D.)--Université Laval, 2008. / Bibliogr.: f. 250-258. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

Reproduction de : Thèse de doctorat : Sciences de la vie et de la santé : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3905. Résumé. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 251-271.

Thèse de doctorat : Aspects cellulaires et moléculaires de la biologie : Strasbourg 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 135-145.

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. Ces outils permettent de (1) configurer les paramètres de sécurité des composants et des liaisons entre eux, (2) vérifier la propriété de non-interférence dans le code d'un composant et entre les différents composants du système et (3) générer automatiquement le code nécessaire pour appliquer ces propriétés de sécurité. D'autre part, nous proposons une architecture permettant de vérifier dynamiquement la propriété de non-interférence dans un système réparti.