Ce document est une thèse de doctorat en informatique, axée sur la sécurité des systèmes répartis et la non-interférence dans les systèmes distribués. Elle a été préparée sous la direction de plusieurs professeurs et a été soutenue publiquement en mai 2012. La thèse examine les menaces de sécurité, les mécanismes de sécurité, ainsi que des modèles et outils pour appliquer la non-interférence dans les systèmes distribués.