Controle du flux d'information des systemes distribues a base de composants

摘要

Construction de systemes distribues securises est une tache complexe et tres couteuse. Elle fait appel a des competences dans des domaines varies: algorithmique distribuee, securite informatique et cryptographie, genie logiciel... Une approche pour pallier a cette difficulte consiste a introduire des abstractions de programmation et des outils automatiques qui assistent le developpeur. Dans ce papier, nous definissons un modele de haut niveau appele CIF (Component Information Flow) et nous developpons les outils qui simplifient le developpement et le deploiement des systemes distribues securises. Le developpeur se concentre sur le developpement de la partie fonctionnelle de son systeme et definit ses proprietes de securite en utilisant une configuration de haut niveau. Une fois la configuration validee, c'est a dire aucune fuite d'information n'est detectee, le code de securite du systeme est genere. Pour montrer l'efficacite de notre approche, nous appliquons les outils CIF sur une application de Service Web classique.