Thème :
La Sécurisation de l'Internet des véhicules dans les villes intelligente
Présentation :
Les appareils numériques deviennent de plus en plus omniprésents et interconnectés. Leur évolution vers des parties intelligentes d'un écosystème numérique crée de nouvelles applications avec des problèmes de sécurité qui sont jusqu'à présent non résolus, comme les réseaux véhiculaires. À mesure que les véhicules évoluent de simples moyens de transport vers des entités intelligentes dotées de nouvelles capacités de détection et de communication, ils deviennent des membres actifs d'une ville intelligente. L'Internet des véhicules (IoV) se compose de véhicules qui communiquent entre eux et avec des réseaux publics via les interactions V2V (véhicule-à-véhicule), V2I (véhicule-à-infrastructure) et V2P (véhicule-à-piéton). IoV permet à la fois la collecte et le partage en temps réel des informations critiques sur la condition du réseau routier. Cependant, IoV ne peut pas être largement déployé sans tenir en compte les exigences de sécurité, à savoir, l'authentification, l'intégrité, la non-répudiation, le contrôle d'accès et la confidentialité. Le but de cette thèse est de proposer des schémas de sécurité pour détecter et prévenir les attaques dans IoV.
Thème :
La Sécurité dans les réseaux ad hoc mobiles
Présentation :
Les réseaux ad hoc mobiles sont des réseaux trés vulnérables. La recherche de protocoles de sécurité pour garantir la sécurité des données et des infrastructures est toujours un domaine d'actualité. Dans ce domaine, un nombre de sujets de thèse de doctorat ont été proposés dont la majorité sont dans un stade très avancé. Les travaux de nos doctorants ont aboutis à des publications et de communications.
Deux doctorants travaillant dans ce thème ont pu soutenir leur doctorat LMD en Juin 2014 et Juillet 2016. Une troisième doctorante vient juste d'avoir une publication en Décembre 2016 et sa soutenance est prévu dans le prochain mois.
Thème :
Vers une vérification hybride basée processus pour les systèmes embarqués
Présentation :
Actuellement, nous sommes en train d’examiner les travaux existants en relation avec notre thème de recherche, afin de proposer une architecture permettant d’étendre les modèles MARTE spécifiés en CCSL par une phase de vérification formelle, basée processus. Nous projetons de proposer d’utiliser ses outils et techniques d’analyse et de vérification. Une phase de simulation en utilisant le langage OCCAM est nécessaire. Ce dernier est lui-même issu du formalisme CSP.
Les activités à entreprendre dans le future portent sur :
1. Étude des méthodes de transformation des graphes.
2. Mise en point d’un outil de transformation des spécifications
CCSL en modèle CSP.
3. Validation et Évaluation de l’outil.
4. Mise en point d’un outil de transformation d’un modèle CSP vers
un prototype en OCCAM.
5. Validation et Évaluation de l’outil.