Sécurité des Réseaux et des Réseaux de Capteurs, Attaque et Défense

par Bruno Medeiros De Barros

Projet de thèse en Informatique

Sous la direction de David Naccache.

Thèses en préparation à Paris Sciences et Lettres , dans le cadre de Sciences Mathématiques de Paris Centre , en partenariat avec LIENS - Laboratoire d'informatique de l'École normale supérieure (laboratoire) , Probabilités et statistiques (DMA) (equipe de recherche) et de Ecole normale supérieure (établissement de préparation de la thèse) depuis le 01-09-2016 .


  • Résumé

    À ce jour, la sécurité des réseaux est une discipline d'ingénierie plutôt qu'une science dure. Les normes changent rapidement, sont complexes et manquent habituellement de formalisme théorique. Cette thèse s'efforcera de proposer des modèles mathématiques, sémantiques et algorithmiques pour saisir une partie de la complexité des réseaux. Nous tenterons théoriquement de modéliser les menaces sur les réseaux et les infrastructures de capteurs tels que les téléchargements, les botnets, le vol d'identité, le spam, les fuites d'information ou les attaques de trous d'arrosage et tirer des conclusions significatives applicables à la conception d'enclaves réseau sécurisées, La sécurité et la qualité de service de gestion. Notre objectif est prouver les propriétés de sécurité du réseau et prévoir des problèmes de réseau dans une certaine mesure.

  • Titre traduit

    Network and Sensor Network Security, Attack and Defense


  • Résumé

    As of today, network security is an engineering discipline rather than a hard science. Standards change quickly, are complex and usually lack theoretical formalism. This thesis will endeavor to propose mathematical, semantic and algorithmic models to capture some of the complexity of real-life networks. We will try to theoretically model threats on networks and sensor infrastructures such as drive-by downloads, botnets, identity theft, spam, information leakage or watering hole attacks and draw meaningful conclusions applicable to the design of secure network enclaves, virtualization, multi-level security, and adaptive quality of service management. Our goal is to either prove network security properties or foresee network problems to some extent.