Analyse et validation du protocole d'authentification EAP-AKA' dans les systèmes de santé connectés.

Abstract

Les dispositifs médicaux connectés jouent un rôle essentiel dans la transformation numérique de la santé. Cependant, la sécurité des échanges de données sensibles reste un défi majeur. Ce mémoire s'intéresse à l'analyse du protocole EAP-AKA', utilisé dans les réseaux 5G, pour sécuriser l'authentification des dispositifs de télésurveillance médicale. Le protocole repose sur des étapes clés telles que l'identification, l'échange de défi et la dérivation de clés de session. Malgré sa robustesse, certaines failles comme les attaques par rejeu subsistent. Des améliorations ont été proposées, et une validation formelle via l'outil AVISPA a confirmé l'efficacité du protocole renforcé. Ce travail contribue ainsi à renforcer la confidentialité, l'intégrité et la fiabilité des systèmes de santé connectée.