Brevet FR3041796A1 — publié le 20170331

Stockage et lecture d'un code d'authentification de message dans une mémoire externe Des modes de mise en oeuvre et de réalisation de l'invention concernent la sécurisation de codes programmes stockés dans une mémoire externe, par exemple de type FLASH NOR, destinés à être exécutés par un module de traitement informatique, comprenant par exemple mais non limitativement un microprocesseur et une mémoire cache. Un module de traitement informatique peut comporter outre un microprocesseur, une mémoire cache lui permettant de stocker du code programme récemment utilisé afin d'y accéder plus rapidement lors d'une éventuelle réutilisation. Si le code programme n'est pas présent dans la mémoire cache, il est transféré depuis une mémoire de niveau supérieur vers la mémoire cache. Lors de ce transfert, le code programme peut être la cible d'attaquants ayant modifié ou remplacé le code programme par du code malveillant. Il est donc nécessaire, notamment pour des applications critiques, de vérifier l'intégrité du code programme transféré. On connait des procédés permettant de vérifier l'intégrité d'un code programme qui utilisent des codes d'authentification de message, communément désignés sous l'acronyme anglo-saxon « MAC (« Message Authentication Code »). Un code d' authentification de message est un code accompagnant des données dans le but d'assurer l'intégrité de ces dernières en permettant de vérifier qu'elles n'ont subi aucune modification après une transmission d'une mémoire externe vers un microprocesseur par exemple. Actuellement, le code d'authentification message peut soit être stocké dans une zone de la mémoire externe différente de celle dans laquelle se situe le code programme, auquel cas la lecture du code d'authentification nécessite un second accès en lecture, soit 3041796 2 dans le même emplacement mémoire que le code programme, à la suite de celui-ci, mais ce cas n'est pas compatible avec les transactions circulaires (« Wrap », selon la dénomination Anglo-saxonne »). 5 Selon un mode de réalisation, il est proposé un procédé permettant de stocker le code d'authentification message de façon fractionnée dans le code programme. Selon un premier aspect, il est proposé un procédé de sécurisation d'un code programme destiné à être exécuté par une unité 10 centrale d'un module de traitement informatique couplée à une mémoire cache contenant des lignes de cache possédant chacune un champ de données destiné à stocker des mots d'instruction exécutables par l'unité centrale, comprenant un stockage du code programme dans des emplacements mémoire d'une mémoire externe au module de 15 traitement informatique, chaque emplacement mémoire étant capable de stocker les mots d'instructions d'une ligne de cache, une détermination de codes d'authentification respectivement associés auxdites lignes de cache et pour chaque ligne de cache une fragmentation du code d'authentification associé et un stockage de ce 20 code d'authentification fragmenté réparti dans l'emplacement mémoire correspondant. Ainsi, lors d'une requête d'une ligne d'instruction de code programme par le module de traitement informatique, la lecture du code programme et du code d'authentification se fait simultanément. 25 En outre, ce mode de réalisation est compatible avec les transactions circulaires. Selon un mode de réalisation, chaque emplacement mémoire contient des mots mémoires destinés à stocker respectivement les mots de la ligne de cache correspondante, chaque mot mémoire a une 30 capacité de stockage supérieure à celle du mot d'instruction et contient une zone non utilisée pour le stockage du mot d'instruction, et les fragments du code d'authentification associé aux mots d'instructions de la ligne de cache sont stockés dans certaines au moins desdites zones non utilisées. 3041796 3 Le procédé peut comprendre en outre lors d'une requête d'un mot d'instruction par l'unité centrale non présent dans une ligne de cache de la mémoire cache, une extraction de la mémoire externe des mots 5 d'instructions de la ligne de cache correspondante et du code d'authentification fragmenté associé, une reconstitution du code d'authentification à partir desdits fragments un calcul du code d'authentification à partir des mots 10 d'instructions extraits, et une comparaison du code d'authentification calculé avec le code d'authentification reconstitué. Selon un autre mode de réalisation chaque emplacement mémoire contient des mots mémoires destinés à stocker respectivement 15 les mots de la ligne de cache correspondante, chaque mot mémoire a une capacité de stockage égale à celle du mot d'instruction, et le stockage du code programme comprend une compression de certains au moins des mots d'instructions de chaque ligne de cache et un stockage des mots d'instructions compressés dans les mots mémoires 20 correspondants, ce stockage laissant subsister une zone libre dans le mot mémoire correspondant, et les fragments du code d'authentification associé aux mots d'instructions compressés de la ligne de cache sont stockés dans lesdites zones libres. Ainsi, ce mode de réalisation permet de s'affranchir de 25 l'utilisation de mots mémoires de taille supérieure à celle des mots d'instruction, car la compression des mots d'instruction permet d'obtenir des zones libres dans les mots mémoire, et d'y stocker le code d'authentification. La compression peut se faire soit par un algorithme permettant 30 d'obtenir des mots compressés de tailles variables, soit par un algorithme permettant d'obtenir des mots compressés de taille fixe. Le procédé peut comprendre en outre 3041796 4 - lors d'une requête d'un mot d'instruction par l'unité centrale non présent dans une ligne de cache de la mémoire cache, - une extraction de la mémoire externe des mots 5 d'instructions de la ligne de cache correspondante et du code d'authentification fragmenté associé, une reconstitution du code d'authentification à partir desdits fragments, une décompression des mots d'instructions compressés, 10 un calcul du code d'authentification à partir des mots d'instruction décompressés, et une comparaison du code d'authentification calculé avec le code d'authentification extrait. Selon un deuxième aspect, il est proposé un système 15 comprenant : un module de traitement informatique contenant une unité centrale, une mémoire cache contenant des lignes de cache possédant chacune un champ de données destiné à 20 stocker des mots d'instruction exécutables par l'unité centrale du module de traitement informatique, une mémoire externe au module de traitement informatique comprenant des emplacements mémoire correspondant à des champs de données de lignes de 25 cache, chaque emplacement mémoire étant configuré pour stocker les mots d'instructions d'une ligne de cache, des moyen de contrôle configurés pour déterminer des codes d'authentification respectivement associés auxdites 30 lignes de cache, fragmenter le code d'authentification associé et stocker ce code d'authentification fragmenté réparti dans l'emplacement mémoire correspondant, Chaque mot mémoire de chaque emplacement mémoire à une capacité de stockage supérieure à celle du mot d'instruction et contient 3041796 5 une zone non utilisée pour le stockage du mot d'instruction, et certaines au moins desdites zones non utilisées sont aptes à recevoir les fragments du code d'authentification associé aux mots d'instructions de la ligne de cache. 5 Les moyens de contrôle sont configurés pour, lors d'une requête d'un mot d'instruction par l'unité centrale non présent dans une ligne de cache de la mémoire cache, extraire de la mémoire externe les mots d'instructions de la ligne de cache correspondante et le code d'authentification 10 fragmenté associé, reconstruire le code d'authentification à partir desdits fragments calculer le code d' authentification à partir des mots d'instructions extraits, et 15 comparer le code d'authentification calculé avec le code d'authentification reconstitué Selon un autre mode de réalisation de cet aspect, chaque emplacement mémoire contient des mots mémoires destinés à stocker respectivement les mots de la ligne de cache correspondante, chaque 20 mot mémoire a une capacité de stockage égale à celle du mot d'instruction, et est apte à recevoir des mots d'instruction compressés ou non de manière à laisser subsister une zone libre dans le mot mémoire apte à recevoir un fragment du code d'authentification associé aux mots d'instructions compressés de la ligne de cache. 25 Les moyens de contrôle peuvent avantageusement être configurés pour compresser les mots d'instructions en mots compressés de tailles égales ou en mots compressés de tailles variables. D'autres avantages et caractéristique de l' invention 30 apparaitront à l'examen de la description détaillée de mode de mise en oeuvre et de réalisation, nullement limitatifs et des dessins annexés sur lesquels : - la figure 1 illustre un mode de réalisation de l'invention, 3041796 6 - les figures 2 à 6 illustrent des modes de mise en oeuvre de l'invention. La figure 1 représente un système SYS comprenant un module de traitement informatique 1, par exemple un microprocesseur, couplé 5 à une mémoire externe 2, par exemple du type FLASH NOR, via un bus de communication 3. Le système SYS comprend également des moyens de contrôle 4 configurés pour effectuer des opérations de décompression et/ou de concaténation sur des données échangées entre le module de traitement 10 1 et la mémoire externe 2. Ces opérations seront vues plus en détail ci- après. Le module de traitement 1 comprend dans cet exemple un microprocesseur 5, un cache 6 de niveau un comprenant des lignes de cache 60 destiné à recevoir des mots d'instruction 83 d'un code 15 programme et un contrôleur de cache 7. Dans cet exemple, le cache comprend des lignes de cache pouvant recevoir trente-deux mots de 16 bits chacun. La mémoire externe comprend des emplacements mémoire 8, configurés chacun pour recevoir des mots d'instruction 83 d'un code 20 programme correspondant à une ligne de cache et un code d'authentification message associé à ladite ligne de cache. La figure 2 représente de manière schématique les différentes étapes d'un mode de mise en oeuvre de l'invention. A l'étape 10, le code programme est stocké dans les 25 emplacements mémoire 8. Comme illustré sur la figure 3, dans un emplacement mémoire 8, chaque mot d'instruction 83 d'une ligne de cache est stocké dans un mot mémoire 81 de taille supérieure à celle des mots d'instructions 83, de manière à ce qu'il y subsiste une zone libre 82 après le stockage du 30 mot d'instruction 83. Par exemple ici, les mots mémoires 81 de la mémoire externe sont des mots de 18 bits, dont 16 bits sont destinés à stocker les mots d'instruction 83, et deux bits sont des bits supplémentaires. Chaque emplacement mémoire 8 est donc capable de stocker les 32 mots 3041796 7 d'instructions 83 d'une ligne de cache dans les 32 mots mémoire 81 de 18 bits en laissant un espace libre de 32x2 bits réparti sur les 32 mots mémoire 81. Dans l'exemple décrit ici, ces zones libres 82 sont situées à la 5 fin des mots mémoires 81. En variante elles pourraient être situées au début des mots mémoire 81 ou bien à toute position connue de ces motifs 81. A l'étape 11, on effectue le calcul d'un code d'authentification message MAC (« Message Authentication Code ») référencé MACref à 10 partir du code programme présent sur l'emplacement mémoire 8. Un code d'authentification message s'obtient par exemple de façon classique par un algorithme utilisant en entrée le message à transmettre et une clé de codage afin d'obtenir en sortie le code d'authentification. Cet algorithme, semblable aux fonctions de hachage 15 bien connues de l'homme du métier, n'a pas besoin d'être réversible. Il permet d'assurer l'intégrité et l'authenticité des données transmises. L'étape 12 comprend une fragmentation du code d'authentification MACref associé aux 32 mots d'instructions 83 afin de le répartir ici dans lesdites zones libres 82 des 32 mots mémoire 81. 20 Il pourrait ne pas être nécessaire d'utiliser les 32 zones libres 82 pour stocker les fragments MACref, mais par exemple seulement certaines des zones libres. Il convient de noter ici que le calcul des codes MACref et leur fragmentation pourraient être effectués avant stockage du jeu 25 d'instruction et suivies d'un stockage simultané du jeu d'instruction et des codes MACref fragmentés dans la mémoire. Ensuite (étape 13), si l'unité centrale 5, ici un microcontrôleur, effectue une requête d'un mot d'instruction 83, le contrôleur de cache 7 vérifie la présence dudit mot d'instruction 83 dans une ligne de 30 cache du cache 6 du module de traitement informatique 1. Si le mot d'instruction est présent dans une ligne de cache du cache 6, alors l'instruction est exécutée (étape 14) par le microcontrôleur 6. 3041796 8 Dans le cas contraire (étape 15), on parle de défaut de cache (« Cache miss » selon la dénomination anglo-saxonne). Le contrôleur de cache effectue alors une requête auprès de la mémoire externe 2 pour que lui soit transmis le contenu de l'emplacement mémoire 8 5 stockant la ligne de cache contenant le mot d'instruction requis. Il convient de noter qu'une ligne de cache est le plus petit élément qui peut être transféré entre la mémoire cache 6 et la mémoire externe 2. A chaque requête d'un mot d'instruction 83, la totalité des mots 81 de l'emplacement mémoire 8 est donc transférée, et non pas 10 seulement le mot mémoire 81 contenant le mot d'instruction 83. Par exemple, si le mot d'instruction requis est situé à la position n de l'emplacement mémoire, alors les mots 81 du nième au dernier mot 81 de la ligne seront extraits, puis les mots du premier de la ligne au mot n-1 seront extraits, selon le fonctionnement d'une 15 transaction circulaire (« Wrap »). Ensuite, à l'étape 16 les moyens de contrôle 4 reconstituent par concaténation le code d'authentification message MACref à partir des fractions réparties dans les zones libre 82 de chacun des mots mémoires 81 reçus de l'emplacement mémoire 8. 20 Cette concaténation est possible quel que soit l'ordre d'extraction des mots d'instruction. Les moyens de contrôle 4 calculent (étape 17) également un code d'authentification message MACcal, à partir du contenu des mots d'instruction reçus 83 lors du transfert, puis comparent code calculé 25 MACcalc avec le code d'authentification reconstitué MACref. Si les deux codes ne sont pas identiques (étape 18), cela signifie que le code programme à été modifié. Les moyens de contrôle génèrent alors une erreur. Si les deux codes sont identiques (étape 19), alors cela signifie 30 que l'intégrité et l'authenticité du code programme est vérifiée, et le code programme peut être exécuté de manière sécurisé par le microcontrôleur 5. 3041796 9 La figure 4 illustre un autre mode de réalisation, analogue au procédé décrit précédemment et illustré par la figure 2, mais comprenant en outre deux étapes 100 et 101 supplémentaires Dans ce mode de réalisation, les emplacements mémoire 8 5 comprennent des mots mémoires 81 de tailles identiques à la taille des mots d'instruction 83, par exemple ici des emplacements mémoire comportant trente-deux mots de 16 bits. La première étape 100 correspond à une compression des mots d'instruction 83 préalablement à l'étape 10 de stockage dans les 10 emplacements mémoire de la mémoire externe. Cette compression peut se faire selon un algorithme déterministe permettant d'obtenir des mots d'instruction compressés 84 de taille fixe (figure 5), auquel cas les mots sont stockés dans les mots 15 mémoires 81 et les zones libres 82 sont de tailles fixe également. Par exemple, les mots compressés 84 font 15 bits et il reste donc 1 bits par mot pour stocker les fractions de code d'authentification, ou selon un algorithme à codage variable permettant 20 d'obtenir des mots d'instruction compressés 84 de tailles variables (figure 6), auquel cas les mots compressés 84 sont stockés dans les mots mémoires 81 et les zones libres 82 sont de tailles variable, certains mots 81 pouvant ne pas comprendre de zones libres si le mot 25 correspondant 83 n'est pas compressible. Par exemple, le premier mot mémoire M1 comprend un mot compressé de 15 bits, et une fraction de code d'authentification de 1 bit, alors que le quatrième mot mémoire M4 comprend un mot d'instruction compressé de 13 bits et une fraction de 30 code d'authentification de 3 bits. Le troisième mot mémoire M3 ne comporte quant à lui pas de mot d'instruction compressé. Seuls les bits correspondants aux mots d'instructions sont compressés, et ceux correspondant au code d'authentification ne le sont pas. 3041796 10 L'étape 101 qui suit l'extraction du contenu de l'emplacement mémoire 8 correspond à une décompression des mots d'instruction compressés 84. Par exemple ici, les moyens de contrôle 4 peuvent comprendre un décompresseur matériel, qui permet une décompression rapide des 5 données. Il convient de noter que les modes de mise en oeuvre et de réalisation présentés ici ne sont nullement limitatifs. Notamment, bien qu'il ait été question ici de mémoire flash NOR, l'invention peut également s'appliquer aux mémoires DRAM (« Dynamic Random Access 10 Memory »). De plus, bien que l'on ait décrit ci-avant une mémoire cache 6 située dans le module de traitement informatique 1, la mémoire cache pourrait être située à l'extérieur du module de traitement. En particulier, la mémoire cache pourrait être formée par une mémoire tampon (« buffer ») 15 située dans l'interface de la mémoire FLASH 8. Par ailleurs alors qu'il il a été décrit précédemment une exécution du code programme par le microprocesseur 5 uniquement si le code d'authentification reconstitué MACref est identique au code d'authentification calculé MACcalc, il est tout à fait possible que 20 l'exécution du code programme débute pendant le calcul du code MACcalc et la comparaison des deux codes MACref et MACcalc, et soit interrompue dans le cas où la comparaison indique que les deux codes MACref et MACcalc ne sont pas identiques. REVENDICATIONS1. Procédé de sécurisation d'un code programme destiné à être exécuté par une unité centrale (5) d'un module de traitement informatique (1)couplée à une mémoire cache (6) contenant des lignes de cache (60) possédant chacune un champ de données destiné à stocker des mots d'instruction (83) exécutables par l'unité centrale (5), comprenant un stockage du code programme dans des emplacements mémoire (81) d'une mémoire externe (2) au module de traitement informatique (1), chaque emplacement mémoire (8) étant capable de stocker les mots d'instructions (81) d'une ligne de cache, une détermination de codes d'authentification respectivement associés auxdites lignes de cache et pour chaque ligne de cache une fragmentation du code d'authentification associé et un stockage de ce code d'authentification fragmenté réparti dans l'emplacement mémoire (8) correspondant. 2. Procédé selon la revendication 1, dans lequel chaque emplacement mémoire (8) contient des mots mémoires (81) destinés à stocker respectivement les mots (83) de la ligne de cache correspondante, chaque mot mémoire (81) a une capacité de stockage supérieure à celle du mot d'instruction (83) et contient une zone non utilisée (82) pour le stockage du mot d'instruction, et les fragments du code d'authentification associés aux mots d'instructions (83) de la ligne de cache sont stockés dans certaines au moins desdites zones non utilisées. 3. Procédé selon la revendication 2, comprenant en outre - lors d'une requête d'un mot d'instruction (83) par l'unité centrale (5) non présent dans une ligne de cache (60) de la mémoire cache (6), - une extraction de la mémoire externe (2) des mots d'instructions (83) de la ligne de cache correspondante et du code d'authentification fragmenté associé, - une reconstitution du code d'authentification à partir desdits fragments (82) 3041796 12 un calcul du code d'authentification à partir des mots d'instructions (83) extraits, et une comparaison du code d'authentification calculé MACcalc avec le code d'authentification reconstitué 5 MACref. 4. Procédé selon la revendication 1, dans lequel chaque emplacement mémoire (8) contient des mots mémoires (81) destinés à stocker respectivement les mots (83) de la ligne de cache correspondante, chaque mot mémoire (81) a une capacité de stockage 10 égale à celle du mot d'instruction (83), et le stockage du code programme comprend une compression de certains au moins des mots d'instructions (83) de chaque ligne de cache (8) et un stockage des mots d'instructions compressés (84) dans les mots mémoires (81) correspondants, ce stockage laissant subsister une zone libre (82) dans 15 le mot mémoire (81) correspondant, et les fragments du code d'authentification associé aux mots d'instructions compressés (84) de la ligne de cache sont stockés dans lesdites zones libres. 5. Procédé selon la revendication 4, dans lequel la compression se fait selon un algorithme à codage déterministe les 20 zones libres étant de tailles égales. 6. Procédé selon la revendication 4, dans lequel la compression se fait selon un algorithme à codage variable les zones libres étant de tailles variables. 7. Procédé selon l'une des revendications 4 à 6, comprenant 25 en outre lors d'une requête d'un mot d'instruction (83) par l'unité centrale non présent dans une ligne de cache (60) de la mémoire cache (6), une extraction de la mémoire externe (2) des mots d'instructions compressé (84) de la ligne de cache (60) 30 correspondante et du code d'authentification fragmenté associé, - une reconstitution du code d'authentification à partir desdits fragments, 3041796 13 - une décompression des mots d'instructions compressés (84), - un calcul du code d'authentification à partir des mots d'instruction décompressés (84), et 5 une comparaison du code d'authentification calculé MACcalc avec le code d'authentification extrait MACref. 8. Système SYS comprenant : un module de traitement informatique (1) contenant une unité centrale (5), 10 une mémoire cache (6) contenant des lignes de cache (60) possédant chacune un champ de données destiné à stocker des mots d'instruction (83) exécutables par l'unité centrale (5) du module de traitement informatique (1), 15 une mémoire externe (2) au module de traitement informatique (1) comprenant des emplacements mémoire (8) correspondant à des champs de données de lignes de cache, chaque emplacement mémoire étant configuré pour stocker les mots d'instructions (83) d'une ligne de 20 cache, des moyens de contrôle (4) configurés pour déterminer des codes d'authentification respectivement associés auxdites lignes de cache, fragmenter le code d'authentification associé et stocker ce code 25 d'authentification fragmenté réparti dans l'emplacement mémoire (8) correspondant, 9. Système selon la revendication 8, dans lequel chaque mot mémoire (81) de chaque emplacement mémoire (8) a une capacité de stockage supérieure à celle du mot d'instruction (83) et contient une 30 zone non utilisée pour le stockage du mot d'instruction (83), et certaines au moins desdites zones non utilisées sont aptes à recevoir les fragments du code d'authentification associé aux mots d'instructions (83) de la ligne de cache. 3041796 14 10. Système selon la revendication 8 ou 9, dans lequel les moyens de contrôle (4) sont configurés pour, lors d'une requête d'un mot d'instruction (84) par l'unité centrale non présent dans une ligne de cache de la mémoire cache, 5 extraire de la mémoire externe les mots d'instructions (83) de la ligne de cache (60) correspondante et le code d'authentification fragmenté associé, reconstruire le code d'authentification à partir desdits fragments, 10 calculer le code d'authentification à partir des mots d'instructions extraits (83), et comparer le code d'authentification calculé MACcal, avec le code d'authentification reconstitué MACref. 11. Système selon la revendication 8, dans lequel chaque 15 emplacement mémoire (8) contient des mots mémoires (81) destinés à stocker respectivement les mots (83) de la ligne de cache correspondante, chaque mot mémoire (81) a une capacité de stockage égale à celle du mot d'instruction (83), et est apte à recevoir des mots d'instruction compressés (84) ou non de manière à laisser subsister ou 20 non une zone libre dans le mot mémoire apte à recevoir un fragment du code d'authentification associé aux mots d'instructions de la ligne de cache. 12. Système selon la revendication 11, dans lequel les moyens de contrôle (4) sont configurés pour compresser les mots d'instruction 25 (83) en mots compressés (84) de tailles égales. 13. Système selon la revendication 11, dans lequel les moyens de contrôle sont configurés pour compresser les mots d'instruction (83) en mots compressés (84) de tailles variables.