Vérification de code pour systèmes Embarqués

Abstract

La vérification prend une place croissante dans l‟informatique moderne. En grande partie parce que nous nous reposons de plus en plus sur les systèmes informatiques. Que cela soit pour communiquer, pour nous déplacer, pour nous distraire ou encore pour nous soigner, nous utilisons des ordinateurs et les logiciels qui les accompagnent. De par cette généralisation de l‟outil informatique, certains systèmes acquièrent plus d‟importance que d‟autres car ils ont la responsabilité de gérer des aspects sensibles de notre environnement. Les systèmes embarqués ajoutent une nouvelle dimension à la sécurité des logiciels présents sur ces systèmes. D‟une manière générale, on dit que les systèmes embarqués sont reprogrammables, on peut télécharger un nouveau programme constitué par un code exécutable, se présentant sous la forme d‟une suite d‟instructions exécutées par le microprocesseur. L‟opération de téléchargement d‟application sur un système embarqué pose un certain nombre de problèmes de sécurité. Ainsi, un code involontairement mal écrit peut modifié de manière incorrecte des données déjà présente sur le système, empêcher le programme principal de s‟exécuter correctement, ou encore modifier d‟autre code d‟applications téléchargées précédemment, en rendant ceux-ci inutilisables ou nuisibles. Dans ce mémoire, nous allons présenté une méthode de vérification des codes pour les systèmes embarquées on utilisant la signature et la certification du code. Cette méthode permet aux utilisateurs de faire confiance aux applications embarquées on donnant des informations complètes concernant le producteur de code contenu dans un certificat transférer avec.