Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Cette séance de cours couvre l'analyse formelle de l'authentification 5G, en se concentrant sur l'évolution de la 4G à la 5G, les vulnérabilités de l'authentification 4G et les améliorations introduites dans la 5G, telles que l'identifiant caché de l'abonné (SUKI). L’orateur discute des défis de l’envoi d’identifiants permanents en clair, du rôle des outils de vérification formels comme Tamarin, ainsi que des attaques et correctifs potentiels dans les protocoles d’authentification 5G.
Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.
Regarder sur Mediaspace