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