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.
Origine : Fichiers produits par l'(les) auteur(s)