Cartes à puce (6 ECTS)
Objectifs
Présenter les principales problématiques de sécurité liées à l'utilisation de la carte à puce
Programme
•Présentation Carte à puce.
•Architectures logicielles.
•JavaCard: présentation et comparaison avec Java, J2ME. Démo sur des outils de
développement.
•Personnalisation des Cartes à puce. Description du processus de Personnalisation des cartes.
•Sécurité des réseaux GSM: Les réseaux GSM/3G: Description, Attaques et Contre mesures.
Démo d'outils de développement.
•Les protocoles crypto pour: les cartes bancaires, la téléphonie mobile (GSM et UMTS), la
télévision à péage, ...
•Les attaques physiques: DPA, DFA, Timing attacks, et leurs contre-mesures.
•La génération de nombres aléatoires.
•Méthodes formelles appliquées à la sécurité:
•Model-Checking: le système SMV.
•Vérification Statique appliquée à Java: le système Esc/Java.
•Assistant de preuve: le système Coq.