Intégration d'une politique de flot de contrôle dans un automate de sécurité

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é

Guillaume Bouffard ^{1, *} Mathieu Lassale Sergio Ona Domene Hanan Tadmori ² Jean-Louis Lanet ¹

* Auteur correspondant

1 XLIM-DMI - DMI

XLIM - XLIM

2 XLIM - XLIM

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

Domaine :

Informatique [cs] / Cryptographie et sécurité [cs.CR]

Informatique [cs] / Systèmes embarqué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

Intégration d'une politique de flot de contrôle dans un automate de sécurité

Identifiants

Collections

Citation

Exporter

Métriques

164

Intégration d'une politique de flot de contrôle dans un automate de sécurité

Identifiants

Collections

Citation

Exporter

Partager

Métriques

164