Détail d'une fiche   Version PDF

SECSI (SR0142GR)

Sécurité des systèmes d'information

SECSI →  SECSI (SR0565JR)


Statut: Terminée

Responsable : Jean Goubault-larrecq

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Programmation, vérification et preuves

Période : 15/11/2002 -> 31/12/2012
Dates d'évaluation : 22/03/2011

Etablissement(s) de rattachement : ENS CACHAN, CNRS
Laboratoire(s) partenaire(s) : LSV (UMR8643)

CRI : Centre Inria de Saclay
Localisation : ENS Cachan - Laboratoire Spécification et Vérification (LSV)
Code structure Inria : 111030-0

Numéro RNSR : 200218376V
N° de structure Inria: SR0142GR

Présentation

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