Codes d'authentification des messages : Formalisme

Cette séance de cours couvre le concept de codes d'authentification de message (MAC) et leur formalisme, en se concentrant sur l'étude de cas de la téléphonie mobile. L'instructeur explique le processus de traitement avec des données supplémentaires, CCM, mode GCM et GCM. Divers aspects tels que les attaques abusives sur GCM, les modes authentifiés à retenir et les notions de sécurité liées à l'intégrité et à l'authentification sont abordés. La séance de cours aborde des sujets tels que les schémas d'engagement, les fonctions de dérivation de clés, les générateurs pseudo-aléatoires, les fonctions de hachage cryptographique et la sécurité des codes d'authentification des messages contre la récupération de clés et la falsification. Une étude de cas sur la téléphonie mobile, en particulier l'architecture GSM, l'argot, le protocole, l'authentification par les pairs, le cryptage, la protection de la vie privée et les améliorations de la téléphonie mobile 3G, est présentée.