Protection des architectures multiprocesseurs sur FPGA
Protection des architectures hétérogènes sur FPGA - Approche par pare-feux matériels

2.1 Modèle de menaces

D'après le § 1, les systèmes embarqués peuvent être assujettis à différentes catégories d'attaques. On distingue notamment deux types d'attaques :

• les attaques dites physiques. Par exemple, une attaque du circuit avec une onde électromagnétique ou un échauffement pour modifier son comportement ;

• les attaques logiques qui cherchent plutôt à exploiter des failles en injectant, par exemple, du code malveillant dans certaines mémoires du système embarqué.

Toutes ces attaques ont pour but de modifier le comportement du circuit (calculs erronés, mise hors service...) ou de récupérer des informations critiques (telles que les clés cryptographiques). Bien entendu, il n'existe pas de solution ultime qui puisse protéger un système embarqué contre tous les types d'attaques. Il est donc nécessaire de définir les attaques que l'on souhaite contrer : on parle alors de « modèle de menaces ».

Cet article s'intéresse à deux vecteurs d'attaques :

• les communications internes au circuit FPGA où est implémentée l'architecture multiprocesseur ;

• les mémoires externes qui contiennent des codes et des données destinées à être utilisées par le programme exécuté sur le circuit FPGA.

Par conséquent, les mécanismes proposés dans la suite de cet article visent à protéger une architecture multiprocesseur contre les attaques qui visent les mémoires externes (en termes de lecture et d'écriture)...