Description
Date depot: 1 janvier 1900
Titre: Détection de canaux cachés
Directrice de thèse:
Béatrice BÉRARD (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Dans les systèmes actuels, un des objectifs est de permettre le partage de ressources et les échanges massifs d'information, tout en garantissant certains niveaux de confidentialité, par exemple pour la préservation de données privées. Dans ce contexte, l'étude de propriétés relatives au secret, la conception de protocoles évitant les fuites d'information et, plus généralement, le contrôle des flux d'information sont des sujets centraux pour la sécurité des systèmes.
Le travail proposé porte sur la formalisation des fuites d'information, ainsi que de la présence d'un canal caché, où s'établit une communication «illégale» au sein d'un système de communication. Ce travail examinera différents contextes, en particulier les aspects qualitatifs des canaux ou des fuites d'information, mais concernera aussi des propriétés quantitatives.
Pour ce dernier point, deux directions sont envisagées : d'une part, formaliser la façon dont certaines informations peuvent être déduites de caractéristiques quantitatives de systèmes, par exemple dans le cas de systèmes temporisés. En effet, certaines attaques bien connues tirent profit de mesures de temps d'exécutions ou de la durée des intervalles d'émission de paquets, comme c'est le cas pour le protocole TCP/IP. Un deuxième aspect concerne
la mesure des fuites ou la capacité des canaux, dans le cadre de la théorie de l'information.
Doctorant.e: Sassolas Mathieu