Méthodologie d'enseignement du développement et de l'´ evaluation d'application carte par un outil venant de la recherche académique - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Méthodologie d'enseignement du développement et de l'´ evaluation d'application carte par un outil venant de la recherche académique

Résumé

Les cartes a puce sont des eléments sécurisés par de nombeures spécifications et standards. Cependant, des vulnérabilités sont parfois découvertes. Durant nos recherches sur la sécurité des cartes a puce, nous avons etudié l'´ evaluation des applications cartes. Dans ce papier, nous présentons un outil d'aide au développement d'applications cartes basé sur l'observation et la détection d'anomalie présente dans l'application développée par les eì eves ingénieurs de l'ENSICAEN. Durant leur cursus, les eì eves apprenent a développer une application cartè a partir de spécifications , c'est-` a-dire une applet JavaCard. La méthode d'aide au développement proposée ici est en deux parties : lapremì ere est un terminal de test permettant de détecter si une carte est correctè a chaqué etape de développement , et la seconde permet d'avoir plus d'information sur une erreur possiblement existante afin de permettre le guidage du développement et de la correction d'erreurs possibles. Outre l'enseignement du développement JavaCard, l'´eì eve acquiert, par cette méthodologie , une formation pratique axée sur la validation de développement , la détection d'erreur d' implémentation par l'utilisation d'un oracle et plus généralement l'´ evaluation.
Fichier principal
Vignette du fichier
Jolly35.pdf (263.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01295362 , version 1 (31-03-2016)
hal-01295362 , version 2 (07-04-2016)

Identifiants

  • HAL Id : hal-01295362 , version 1

Citer

Germain Jolly, Sylvain Vernois, Christophe Rosenberger. Méthodologie d'enseignement du développement et de l'´ evaluation d'application carte par un outil venant de la recherche académique. Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2016, Toulouse, France. ⟨hal-01295362v1⟩
127 Consultations
164 Téléchargements

Partager

More