Sofiane AISSANI présentera le jeudi 28 mars à 14h trois problématiques fondamentales en matière de cybersécurité : la sécurité et la gestion des clés dans l'Internet des Objets (IoT), la gestion de la confiance dans les réseaux véhiculaires, ainsi que la sécurité des codes mobiles.
Face aux défis posés par les contraintes de capacité, notamment en termes d'énergie, nous adopterons une stratégie axée sur la dissimulation d'informations relatives à la sécurité. Cette approche vise à réduire le volume global de messages échangés, contribuant ainsi à prolonger la durée de vie des réseaux. Nous examinerons en particulier l'utilisation de certains champs des paquets de protocoles de communication, comme ZigBee, pour transmettre des éléments cruciaux liés à la sécurité, tels que des clés de chiffrement.
Concernant les réseaux véhiculaires, nous proposerons une méthode fondée sur la classification des messages et des véhicules en plusieurs catégories. Cette méthode repose sur les concepts de controverse et de réputation pour évaluer le degré de confiance des messages, garantissant ainsi une communication fiable entre les véhicules. Ensuite, nous explorerons la problématique de l'exécution de code au sein d'entités distantes, chacune appliquant ses propres politiques de sécurité.
Pour modéliser le code mobile, nous recourrons à l'algèbre de processus CBPAE, ce qui facilitera la formalisation des interactions et permettra une représentation précise des programmes. Nous définirons une logique spécifique pour modéliser les politiques de sécurité, puis nous adapterons le concept de plus grand facteur commun pour déterminer le programme le plus complet qui, tout en restant fidèle au programme original, se conforme à la politique de sécurité.
