Sites Inria

English version

Equipe de recherche SECSI

Sécurité des systèmes d'information

  • Responsable : Jean Goubault-larrecq
  • Centre(s) de recherche : CRI Saclay - Île-de-France
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Programmation, vérification et preuves
  • Partenaire(s) : Ecole normale supérieure de Cachan,CNRS
  • Collaborateur(s) : ENS CACHAN, CNRS

Présentation de l'équipe

L'équipe-projet SECSI est une équipe de recherche sur la sécurité des systèmes d'information. Elle est organisée autour de trois axes, et de leurs relations mutuelles:
  • Vérification de protocoles cryptographiques;
  • Détection d'intrusions;
  • Analyse statique de programmes, dans le but de détecter des trous de sécurité et des vulnérabilités au niveau protocolaire.

Axes de recherche

  • Sécurité des protocoles cryptographiques: confidentialité, authentication, fraîcheur, quant-à-soi, anonymat.
  • Automates d'arbres, contraintes ensemblistes, sous-classes décidables de la logique du premier ordre et codages/approximations de processus cryptographiques parallèles.
  • Détection d'intrusions, vérification de modèles efficace en ligne avec application à la détection et au reporting d'événements composés.
  • Analyse statique, en particulier à base de domaines abstraits d'automates d'arbres pour l'analyse de formes et de propriétés de sécurité.

Relations industrielles et internationales

Projets nationaux

Actions concertées incitatives

Mots-clés : Sécurité Protocoles cryptographiques Détection d'intrusions Automates Logique Analyse statique

Suivez Inria