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.