Contrôle des ressources dans les cartes à microprocesseur – papier d ’ intention –

Les cartes à puces ont évolué vers le concept de cartes ouvertes. Ce sont des cartes où l’on peut charger des applications après qu’elles aient été émises (distribuées à leur porteur). De nombreux travaux ont consisté à sécuriser le code mobile qui pouvait être chargé dans la carte [18, 26] afin d’assurer l’intégrité et la confidentialité des données. Cependant, établir des garanties plus larges comme le contrôle des ressources ou le temps réel reste une question ouverte. Nous étudions ici les concepts de qualité de service (disponibilité, déni de service) liés aux systèmes extensibles dans le domaine de la carte à puces.