Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00072000000000000000" id= "SECTION00072000000000000000">Projet Castor, convention n°100C01560031399012 (10/1999-04/2002)</a></h2>  <a name="EPATR_contrats_module-25" id= "EPATR_contrats_module-25"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Thierry Gautier, Paul Le Guernic, Hervé Marchand.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>sécurité des systèmes informatiques, modèles hiérarchiques, synthèse de contrÔleurs. .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le projet Castor a pour but la réalisation d'outils pour l'aide à la conception d'architectures sécurisées d'un système d'information. L'autre partenaire Irisa de cette action est le projet Inria Lande.</i> </div> <p>Les partenaires du projet Castor sont le Celar, Matra, <small>AQL</small>, <small>TNI</small> et l'Irisa. L'objectif général du projet Castor est de montrer la faisabilité de la modélisation de la sécurité d'un système informatique. En effet la complexité des systèmes d'information fait que la notion de sécurité répartie est difficile à mettre en oeuvre (de même que son maintien au cours du temps). L'objectif des travaux consiste à étudier et à prototyper la modélisation d'architectures bâties par assemblage de composants suivant des règles d'intégration de la sécurité. Dans cette optique, nous nous occupons du modèle théorique, et plus précisément de l'aspect hiérarchique de ce modèle. L'application des techniques de synthèse de contrÔleur à la génération automatique de chemins d'attaque d'un système dans un but de simulation est également à l'étude.</p> </body>