Vers une méthode d’analyse de la sécurité des systèmes de communication sans-fil

Les systèmes de communication sans-fil sont aujourd’hui omniprésents dans notre société. Pour communiquer avec le monde et les objets qui nous entourent, de nombreuses technologies ont été définies au fil des années. Dans le monde civil, le Bluetooth, le Wi-Fi, les réseaux mobiles, etc. sont des systèmes bien connus et largement utilisés. Tous ces systèmes sont définis dans des spécifications techniques qui peuvent sembler obscures de prime abord. Les travaux présentés dans cette thèse s’attachent à en étudier la sécurité. A travers des travaux sur les spécifications Bluetooth, Wi-Fi, LoRaWAN, et 2G, ainsi que sur certaines implémentations, cette thèse évalue la sécurité de ces différents systèmes pour certaines propriétés de sécurité souhaitables. Cela permet de faire avancer la connaissance sur la compréhension des problèmes de sécurité qui les affectent, mais également d’apporter une réflexion sur les méthodes qui peuvent être utilisées pour analyser la sécurité des systèmes de communication sans-fil.