SSURF
Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
27/05/2009
Intervenant(s) : J.F. Etienne (SafeRiver), E. Jaeger (DCSSI), L. Mé (Supelec), M. Jaume (LIP6)
Le Mercredi 27 Mai aura lieu une journée sur le thème de la sécurité dans le cadre de l'action ANR SSURF (Safety and Security UndeR Focal) et du PPF Logiciels Sûrs.
Cette journée, ouverte à tous, aura lieu dans la salle 847 (8eme étage) au LIP6 (104 Av du Président Kennedy, 75016, Paris) de 10h30 à 17h.
Les exposés programmés pour cette journée sont les suivants :
Jean-Frédéric Etienne, Stéphane Fechter (SafeRiver) Preuves de propriétés de cartographie et d'anti-collision d'une fonction critique développée en Simulink
Eric Jaeger (DCSSI) Remarques relatives à l'utilisation de méthodes formelles en sécurité
Ludovic Mé (Supelec) Détection des intrusions : vers moins d'empirisme
Tony Bourdier (Université Nancy/LORIA), Horatiu Cirstea (LORIA), Mathieu Jaume (LIP6), Hélène Kirchner (INRIA) Interprétation logique de politiques de sécurité
Focal Team (LIP6/CNAM/INRIA) Présentation de la nouvelle release de FoCaL (http://focal.inria.fr)