IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
Rencontres DGA/INRIALa Sécurité des Système d’Information
Organisation générale :Alain Dohet (DGA) et Gérard Le Lann (INRIA)
Organisation de la journée SSI :Guillaume Hanrot (INRIA) et David Lubicz (DGA)
Rencontres DGA/INRIA
IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
9h35-9h45 Exposé introductif par André Parriel(DGA/CELAR)
Rencontres DGA/INRIA
IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
9h45-10h25 Les réseaux de capteurs (USN pourUbiquitous Sensor Networks) par Olivier Mangeot(DGA/CEP)10h25-11h05 Extraction de motifs séquentiels dans lesflots de données par Florent Masseglia (projetAxIS-Sophia Antipolis)11h10-11h50 Sécurité Multi-niveau par Sébastien Gay(DGA/CELAR)11h50-12h30 Systèmes et réseaux pour petits objetsportables et sécurisés par Isabelle Simplot-Ryl (projetPOPS-Lille)
Rencontres DGA/INRIA
IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
14h-14h40 Sécurité et sûreté des implémentations logicielset materielles par Nicolas Guillermin (DGA/CELAR)14h40-15h20 La sécurité des logiciels et l’analyse statiquedes programmes par David Pichardie (projetLande-Rennes)
Rencontres DGA/INRIA
IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
15h40-16h20 Les problématiques liées à l’analyse du trainbinaire par Pierre Loidreau (DGA/CELAR)
Rencontres DGA/INRIA
IntroductionSession 1 : Sécurité des systèmes
Session 2 : Sécurité et sureté prouvéeSession 3 : Analyse des données
Conclusion
16h20-16h30 Synthèse et conclusion par GuillaumeHanrot et David Lubicz
Rencontres DGA/INRIA