Réseau de recherche franco-québécois sur les mesures quantitatives de la sécurité des systèmes informatique

Contact : Beatrice.Berard (at) nulllip6.fr
Du 01/09/2012 au 01/08/2013

1. EFFET DE LEVIER : Les gouvernements français et québécois ont souvent souligné leur volonté d'appuyer le développement pour la France et le Québec de technologies de pointe en matière de sécurité informatique. Les messages des deux gouvernements expriment souvent l'urgence, pour leur communauté scientifique respective, de maximiser la qualité et la profondeur de leurs travaux de R&D dans le domaine de la sécurité informatique. Le projet répond directement à ces exigences. Le projet vise à fédérer quatre équipes de recherche, deux françaises et deux québécoises, sur des méthodes complémentaires d'analyse quantitative de la sécurité des systèmes: méthodes déductives ou theorem proving (Concordia) et méthodes inductives ou model checking (Polytechnique) de la sécurité de l'information des systèmes probabilistes, model-checking et contrôle de la sécurité des systèmes temps-réels (Paris 6), techniques d'abstraction basées sur des représentations symboliques de systèmes infinis et analyse de coûts (Besançon) . L'ampleur du rayonnement et des contacts scientifiques de ce groupe élargi permettra d'obtenir plus rapidement des résultats scientifiques plus en mesure de répondre aux besoins des concepteurs de systèmes sécurisés et d'en assurer une meilleure diffusion autant chez les concepteurs que dans la communauté scientifique concernée en France et au Québec. 2. EFFET STRUCTURANT/PERSPECTIVES À LONG TERME : Les équipes partenaires ont, par le biais de projets nationaux et de co-tutelles, une collaboration bien établie entre elles. Ce partenariat vise à pérenniser et à étendre cette collaboration aux autres partenaires. 3. POTENTIEL D'INSERTION DANS LES RÉSEAUX INTERNATIONAUX : Le projet proposé devrait donc permettre l'établissement de partenariats académiques importants par le biais d'insertion à des projets transnationaux. 4. INTÉGRATION DE MEMBRES DU MILIEU INDUSTRIEL : Outre les nombreux partenariats académiques que les partenaires de ce projet entretiennent dans des domaines connexes, des partenariats industriels sont très sérieusement envisagées avec des firmes locales et multinationales établies au Québec ou en France: RDDC-Valcartier une agence de R&D du Ministère de la Défense du Canada, Bombardier Aéronautique, CMC Electronics, SAP-Canada ou France Télécom, avec lesquelles les partenaires ont déjà collaboré à des projets reliés à la sécurité. Le projet proposé devrait donc permettre l'établissement de partenariats importants avec des utilisateurs. 5. IMPACT SUR LA FORMATION : Il est impératif de former dans les universités, tant au Québec qu'en France, des ingénieurs de conception de haut niveau avec des techniques de pointe qui leur permettront de concevoir des logiciels sécurisés. L'expertise qui sera développée dans ce projet sera transférée vers la formation aux études supérieures et palliera ce besoin. Ce transfert se fera par le biais de création d'un nouveau cours aux études supérieures à École Polytechnique et de la formation de plusieurs étudiants de doctorat (dans le cadre notamment de co-tutelles franco-québécoises) et maîtrise ainsi que des dizaines de stagiaires de recherche au sein des quatre institutions impliquées. La qualité et la pertinence de nos encadrement d'étudiants-chercheurs serait encore renforcée.

Conseil franco-québécois de coopération Universitaire

Beatrice BERARD