Internet des objets avec sécurité des communications Device to Device.

Abstract

L'Internet des objets représente aujourd'hui une partie majeure de notre vie quotidienne, est un concept qui repose sur l'idée que tous les objets seront connectés à l'Internet pour un mode de vie beaucoup plus sophistique. Nous nous sommes focalisées plus précisément sur la communication Device To Device dans l'IdO, qui a suscité de l'intérêt en tant que technologie prometteuse pour les réseaux sans fil, elle favorise l'utilisation de communication directe entre appareils sans passer par la station de base. Une des contraintes principales dans la conception des communications D2D est la sécurité des données entre les objets connectés, pour cela, il est nécessaire de prendre en considération des protocoles cryptographiques efficaces afin d'assurer la sécurité et le bon fonctionnement du réseau. Dans ce contexte, l'objectif de ce mémoire était de vérifier des protocoles de sécurité D2D `a base de l'outil de vérification formelle SPAN AVISPA qui nous a permis de montrer que les protocoles proposées sont sécurisés et surs.