Session Orale O9

  • Titre : Systèmes informatiques
  • Président : Etienne Rivière
  • Date : Mercredi 18/11 de 9h00 à 10h20

Article 492

  • Titre : Carte à puce, vers une durée de vie infinie
  • Agnes Cristèle Noubissi (Université de Limoges, Laboratoire XLIM, Equipe SSD)
  • Julien Iguchi-Cartigny (Université de Limoges, Laboratoire XLIM, Equipe SSD)
  • Jean-Louis Lanet (Université de Limoges, Laboratoire XLIM, Equipe SSD)
  • Résumé : Nous présentons dans cet article nos travaux de recherche concernant la mise à jour dynamique d'applications pour la Java Card 3.0 connected edition. Par dynamique, nous entendons le fait de patcher des classes de l'application en cours d'exécution sans arrêter ni la la machine virtuelle Java Card, ni l'application elle même. De plus, cette opération doit se dérouler de manière transparente pour les autres applications de la carte. Nous montrons que cette approche nécessite l'ajout de plusieurs mécanismes off-card et on-card afin de pouvoir garantir la fiabilité et la sécurité de l'opération (atomicité de la mise à jour, cohérence du système de type, etc...). Nous présentons une architecture pour étendre le Card Manager de la carte afin de pouvoir intégrer la processus de mise à jour dynamique dans le cycle de vie d'un module d'application.
  • Voir l'article entier

Article 1112

  • Titre : Cartes à puce : attaques et contremesures
  • Agnes Noubissi (Université de Limoges, Laboratoire XLIM, Equipe SSD, )
  • Ahmadou Al-Khary Sere (Université de Limoges, Laboratoire XLIM, Equipe SSD, )
  • Julien Iguchi-Cartigny (Université de Limoges, Laboratoire XLIM, Equipe SSD, )
  • Jean-Louis Lanet (Université de Limoges, Laboratoire XLIM, Equipe SSD, )
  • Guillaume Bouffard (Université de Limoges, Etudiants Master )
  • Résumé : L'article porte sur nos travaux de recherche traitant des attaques en fautes et des attaques logiques sur les cartes à puce, en particulier sur la Java Card. Nous introduisons en présentant la Java Card et ses mécanismes sécuritaires. Ensuite nous présentons les types d'attaques réalisées sur les cartes à puce et, nous présentons quelques contremesures de ces attaques et en particulier celles sur les attaques en fautes. Et nous terminons par la présentation de nos travaux sur l'outil de manipulation d'un format de fichier de la Java Card et des propositions d'autres contremesures pour les attaques en faute.
  • Voir l'article entier

Article 1482

  • Titre : Modèle et environnement « métier » orienté intentions pour la conception de scénarios pédagogiques
  • Valérie Emin (Laboratoire Informatique de Grenoble)
  • Résumé : Cet article présente le modèle conceptuel ISiS (Intentions-Strategies-interactional Situations), élaboré pour structurer la démarche de conception de scénarios pédagogiques utilisant les technologies numériques par des enseignants-concepteurs non spécialistes en informatique. Cette proposition repose sur l’expression et la formalisation des intentions du concepteur en distingue explicitement les dimensions intentionnelles, stratégiques, tactiques et opérationnelles dans le processus de conception. ISiS a également pour but de favoriser la réutilisation et le partage des scénarios pédagogiques entre concepteurs. Nous présentons également une première version de ScenEdit, un environnement de conception de scénarios pédagogiques dédié aux enseignants-concepteurs s’appuyant sur ce modèle.
  • Voir l'article entier