Abstract : Among other threats, secure components are subjected to physical attacks whose aim is to recover the secret information they store. Most of the work carried out to protect these components generally consists in developing protections (or countermeasures) taken one by one. But this “countermeasure-centered” approach drastically decreases the performance of the chip in terms of power, speed and availability. In order to overcome this limitation, we propose a complementary approach: smart dynamic management of the whole set of countermeasures embedded in the component. Three main specifications for such management are required in a real world application (for example, a conditional access system for Pay-TV): it has to provide capabilities for the chip to distinguish between attacks and normal use cases (without the help of a human being and in a robust but versatile way); it also has to be based on mechanisms which dynamically find a trade-off between security and performance; all these mecanisms have to formalized in a way which is clearly understandable by the designer. In this article, a prototype which enables such security management is described. The solution is based on a double-processor architecture: one processor embeds a representative set of countermeasures (and mechanisms to define their parameters) and executes the application code. The second processor, on the same chip, applies a given security strategy, but without requesting sensitive data from the first processor. The chosen strategy is based on fuzzy logic reasoning to enable the designer to describe, using a fairly simple formalism, both the attack paths and the normal use cases. A proof of concept has been proposed for the smart card part of a conditional access for Pay-TV, but it could easily be fine-tuned for other applications.
Type de document :
Communication dans un congrès
PROOFS: Security Proofs for Embedded Systems, Sep 2015, Saint-Malo, France
Liste complète des métadonnées
Contributeur : Bruno Robisson <>
Soumis le : lundi 23 novembre 2015 - 22:22:34
Dernière modification le : jeudi 11 janvier 2018 - 06:27:10
Document(s) archivé(s) le : vendredi 28 avril 2017 - 19:18:07


Fichiers produits par l'(les) auteur(s)


  • HAL Id : emse-01232670, version 1



Bruno Robisson, Michel Agoyan, Patrick Soquet, Sébastien Le Henaff, Franck Wajsbürt, et al.. SMART SECURITY MANAGEMENT IN SECURE DEVICES. PROOFS: Security Proofs for Embedded Systems, Sep 2015, Saint-Malo, France. 〈emse-01232670〉



Consultations de la notice


Téléchargements de fichiers