Equipe de recherche SECSI

Sécurité des systèmes d'information

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

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social