PPF Logiciels Sûrs / SSURF
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
Viernes 7 de noviembre de 2008V. Benayoun, I. Simplot-Ryl, H. Kirchner, H. Cirstea, M. Carlier, D. Delahaye
Liste provisoire des intervenants - Vincent Benayoun (ENSIIE) : Une librairie de composants pour FoCaL - Isabelle Simplot-Ryl (Université de Lille 1) : Analyse de flot d'information pour les petits systèmes embarqués - Helene Kirchner (INRIA) : A rewrite-based approach for security policies joint work with Claude Kirchner and Anderson Santana de Oliveira - Horatiu Cirstea (LORIA, Université de Nancy II.) : Détection automatisée de flux d'informations - Matthieu Carlier (ENSIIE) : Politique de contrôle d'accès multi-niveaux : tests de conformité vis à vis des flots avec l'outil FoCaL - David Delahaye (CPR CNAM) : Certification de règlementations de la sûreté des aéroports en FoCaL
Sous réserve : Luca Vigano Université de Vérone. Véronique Delebarre Safe River.
Mathieu.Jaume (at) nulllip6.fr