Cartes à puce (6 ECTS)

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.