 |
Communication dans un congrès
Intégration d'une politique de flot de contrôle dans un automate de sécurité
Résumé : La carte à puce est un objet contenant des informations sensibles. Les attaques par injection de faute sont les plus difficiles à se prémunir. La surveillance du flot d'exécution par la machine virtuelle est un des mécanisme permettant de s'en protéger. Nous intégrons dans l'interpréteur Java Card un automate de sécurité permettant de garantir une politique de sécurité. Nous montrons comment une optimisation permet d'obtenir une solution efficace tant dans son utilisation mémoire que dans la surcharge de calcul.
https://hal-unilim.archives-ouvertes.fr/hal-00966394
Contributeur : Guillaume Bouffard <>
Soumis le : mercredi 26 mars 2014 - 15:24:35
Dernière modification le : vendredi 26 février 2021 - 16:08:04
Contributeur : Guillaume Bouffard <>
Soumis le : mercredi 26 mars 2014 - 15:24:35
Dernière modification le : vendredi 26 février 2021 - 16:08:04
