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.
1 / 1 100%