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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-unilim.archives-ouvertes.fr/hal-00966394
Contributeur : Guillaume Bouffard <>
Soumis le : mercredi 26 mars 2014 - 15:24:35
Dernière modification le : jeudi 11 janvier 2018 - 06:26:29

Identifiants

  • HAL Id : hal-00966394, version 1

Collections

Citation

Guillaume Bouffard, Mathieu Lassale, Sergio Ona Domene, Hanan Tadmori, Jean-Louis Lanet. Intégration d'une politique de flot de contrôle dans un automate de sécurité. 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SAR-SSI), Sep 2013, Mont-de-Marsan, France. ⟨hal-00966394⟩

Partager

Métriques

Consultations de la notice

164