Brevet FR3050044A1 (20171013)
REVENDICATIONS1.- Procédé de vérification automatique d'un fichier informatique cible (T) par rapport à un fichier informatique de référence (REF), ce procédé étant caractérisé en ce qu'il comprend des étapes : a) d'acquisition (100) d'un fichier informatique de référence (REF) et d'un fichier informatique à tester (T) ; b) d'acquisition (103) d'au moins un aléa numérique ; c) de définition (104), en fonction du au moins un aléa numérique acquis : - d'une première zone à tester délimitant une portion du fichier de référence, et - d'une deuxième zone à tester délimitant une portion du fichier cible, la deuxième zone à tester présentant une même taille (L') que la première zone à tester et étant située, à l'intérieur du fichier cible, à la même position relative (C-A) par rapport à l'origine de ce fichier cible que la première zone de test par rapport à l'origine (A) du fichier de référence ; d) de calcul (106) d'une première empreinte numérique, par application d'une fonction de hachage (F2) uniquement sur la portion du fichier de référence (REF) qui est contenue à l'intérieur de la première zone à tester ; e) de calcul (108) d'une deuxième empreinte numérique, par application de la même fonction de hachage uniquement sur la portion du fichier cible (T) qui est contenue à l'intérieur de la deuxième zone à tester ; f) de comparaison automatique (110) des première et deuxième empreintes numériques, le fichier cible étant dit vérifié (118) si les première et deuxième empreintes numériques sont égales et étant dit non-vérifié (112) si les première et deuxième empreintes numériques sont différentes. 2.- Procédé de vérification selon la revendication 1, caractérisé en ce que la première zone à tester présente une longueur (L') supérieure ou égale à 10% de la longueur totale (L) du fichier de référence. 3.- Procédé de vérification selon l'une quelconque des revendications précédentes, caractérisé en ce qu'il comporte en outre : b') l'acquisition (114) d'au moins un aléa numérique ; 305.0044 17 c') la définition (114), en fonction du au moins un aléa numérique additionnel acquis : - d'une troisième zone à tester, distincte de la première zone à tester et délimitant une portion additionnelle du fichier de référence (REF), et 5 - d'une quatrième zone à tester, distincte de la deuxième zone à tester et délimitant une portion additionnelle du fichier cible (T), la quatrième zone à tester présentant une même taille que la troisième zone à tester et étant située, à l'intérieur du fichier cible, à la même position relative par rapport à l'origine de ce fichier cible que la troisième zone de test par rapport à 10 l'origine du fichier de référence ; d') le calcul (114) d'une troisième empreinte numérique, par application d'une fonction de hachage uniquement sur la portion du fichier de référence qui est contenue à l'intérieur de la troisième zone à tester ; e') le calcul (114) d'une quatrième empreinte numérique, par application de la 15 même fonction de hachage uniquement sur la portion du fichier cible qui est contenue à l'intérieur de la quatrième zone à tester ; f) la comparaison automatique (116) des troisième et quatrième empreintes numériques, le fichier cible étant alors dit vérifié uniquement si, en outre, les troisième et quatrième empreintes numériques sont égales. 20 4.- Procédé de vérification selon la revendication 3, caractérisé en ce que les troisième et quatrième zones à tester occupent la totalité de la longueur (L), respectivement, du fichier de référence (REF) et du fichier cible (T). 25 5.- Procédé de vérification selon la revendication 3, caractérisé en ce que la troisième zone à tester est disjointe de la première zone à tester. 6.- Procédé de vérification selon la revendication 3 ou 5, caractérisé en ce que la réunion de la troisième zone à tester et de la première zone à tester occupe la totalité de 30 la longueur du fichier de référence (REF). 7.- Procédé de vérification selon l'une quelconque des revendications précédentes, caractérisé en ce que l'étape a) comprend en outre une vérification de l'authenticité (102) du fichier de référence (REF) acquis, cette vérification de l'authenticité étant réalisée au moyen d'une signature numérique. 3050044 18 8.- Procédé de vérification selon l'une quelconque des revendications précédentes, caractérisé en ce que les étapes a), b), c), d) et f) sont exécutées automatiquement par un outil de test (2), en ce que le fichier cible (T), tel qu'un logiciel 5 embarqué, est stocké dans une mémoire (302) d'un appareil à tester (3), et en ce que le calcul (108) de la deuxième empreinte numérique est réalisé automatiquement par l'appareil à tester (3), l'étape e) comprenant alors l'acquisition automatique de la deuxième empreinte numérique par l'outil de test (2). 10 9.- Procédé de vérification selon l'une quelconque des revendications précédentes, caractérisé en ce que la fonction de hachage utilisée pour calculer (106,\n<CLM>\1\tles première et deuxième empreintes numériques est une fonction de hachage cryptographique, telle qu'une fonction de hachage de la famille SHA-2 ou SHA-3, de préférence la fonction de hachage SHA-256. 15 10.- Support d'enregistrement d'informations, caractérisé en ce qu'il comporte des instructions pour la mise en oeuvre d'un procédé de vérification conforme à l'une quelconque des revendications précédentes lorsque ces instructions sont exécutées par un calculateur électronique (20). 20 11.- Calculateur électronique (20) pour la mise en oeuvre d'un procédé de vérification selon l'une quelconque des revendications 1 à 9, caractérisé en ce que ce calculateur électronique (20) est programmé pour : a) acquérir (100) un fichier informatique de référence (REF) et un fichier 25 informatique à tester ; b) acquérir (103) au moins un aléa numérique ; c) définir (104), en fonction du au moins un aléa numérique acquis : - une première zone à tester délimitant une portion du fichier de référence (REF), et 30 - une deuxième zone à tester délimitant une portion du fichier cible (T), la deuxième zone à tester présentant une même taille (L') que la première zone à tester et étant située, à l'intérieur du fichier cible (T), à la même position (C-A) relative par rapport à l'origine de ce fichier cible que la première zone de test par rapport à l'origine (A) du fichier de référence ; 3050044 19 d) calculer (106) une première empreinte numérique, par application d'une fonction de hachage uniquement sur la portion du fichier de référence (REF) qui est contenue à l'intérieur de la première zone à tester ; e) calculer (108) une deuxième empreinte numérique, par application de la même 5 fonction de hachage uniquement sur la portion du fichier cible (T) qui est contenue à l'intérieur de la deuxième zone à tester ; f) comparer automatiquement (110) les première et deuxième empreintes numériques, le fichier cible (T) étant dit vérifié si les première et deuxième empreintes numériques sont égales et étant dit non-vérifié si les première et deuxième empreintes 10 numériques sont différentes. 12.- Outil de test (2) pour vérifier automatiquement, par rapport à un fichier informatique de référence (REF), un fichier informatique cible (T), tel qu'un logiciel embarqué, stocké dans une mémoire (302) d'un appareil à tester (3), cet outil de test (2) 15 comportant un calculateur électronique (20) et une interface de communication (21) pour échanger des données avec la mémoire (302) de l'appareil à tester (3), cet outil de test (2) étant caractérisé en ce que le calculateur électronique (20) est conforme à la revendication 11.