Abstract:
Ce mémoire explore l’intégration des technologies 5G et de l’Internet des objets (IdO) dans le domaine de la santé, se concentrant sur l’authentification des appareils de santé connectés. Il analyse le protocole EAP-AKA’, utilisé pour sécuriser les communications dans les réseaux 5G, offrant des avantages tels que l’authentification mutuelle et l’échange sécurisé de messages. Malgré ces fonctionnalités, des vulnérabilités subsistent, nécessitant des améliorations contre les attaques de rejeu et de désynchronisation. L’outil de vérification formelle SPAN AVISPA est utilisé pour évaluer et valider la sécurité du protocole EAP-AKA’, confirmant sa robustesse pour les applications de santé connectée.
