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.
