Brevet FR3044124A1 (20170526)
REVENDICATIONS1) Procédé de vérification d'intégrité d'un ensemble de données sensé avoir subi un déploiement sur une pluralité de dispositifs électroniques (110, 111, 112, 113, 114), le procédé étant exécuté par un serveur (100), caractérisé en ce que ledit serveur effectue les étapes suivantes : - calculer (302) un premier code de vérification pour chaque plage d'adresses mémoire d'un ensemble de plages d'adresses mémoire, à partir dudit ensemble de données sensé avoir été déployé sur la pluralité de dispositifs électroniques ; - répartir (304) les plages d'adresses mémoire parmi les dispositifs électroniques et requérir (305) que chaque dispositif électronique calcule un second code de vérification pour la plage d'adresses mémoire qui lui est attribuée, à partir d'un ensemble de données effectivement en mémoire non volatile dudit dispositif électronique suite audit déploiement ; et - vérifier (308), pour chaque plage d'adresse mémoire, l'adéquation entre le premier code de vérification calculé par ledit serveur et le second code de vérification calculé par chaque dispositif électronique auquel ladite plage mémoire a été attribuée.\n<CLM>\1\tProcédé selon la revendication 1, caractérisé en ce que le premier code de vérification et le second code de vérification sont obtenus par application d'une fonction prédéfinie de hachage FH aux données de ladite plage d'adresses mémoire.\n<CLM>\1\tProcédé selon la revendication 1, caractérisé en ce que le premier code de vérification et le second code de vérification sont obtenus par application d'une fonction prédéfinie de hachage FH salée par une valeur aléatoire X aux données de ladite plage d'adresses mémoire.\n<CLM>\1\tProcédé selon l'une quelconque des revendications 2 et 3, caractérisé en ce que la taille maximum de chaque plage d'adresses mémoire est définie de telle sorte que le temps de calcul, par un dispositif de performances similaires à celles desdits dispositifs électroniques, de la fonction prédéfinie de hachage FH pour ladite plage d'adresses mémoire est inférieur à un seuil TH prédéfini. 3044124 15\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 à 4, caractérisé en ce que, lorsque le serveur détecte une inadéquation entre le premier code de vérification et le second code de vérification pour une plage d'adresses mémoire, le serveur effectue (309) un traitement d'alarme consistant à vérifier l'intégrité des données pour 5 la plage d'adresses mémoire concernée auprès d'autres dispositifs électroniques parmi ladite pluralité de dispositifs électroniques.\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 à 5, caractérisé en ce que le serveur définit lesdites plages d'adresses mémoire par découpe de l'espace 10 mémoire occupé par ledit ensemble de données sensé avoir subi le déploiement en plages d'adresses mémoire consécutives, et en ce que le serveur stoppe (311) la vérification d'intégrité lorsque toutes les plages d'adresses ainsi définies ont été vérifiées au moins une certaine quantité de fois auprès desdits dispositifs électroniques. 15\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 à 5, caractérisé en ce que le serveur définit lesdites plages d'adresses mémoire par découpe de l'espace mémoire occupé par ledit ensemble de données sensé avoir subi le déploiement en plages d'adresses mémoire ayant un chevauchement entre elles, et en ce que le serveur 20 stoppe (311) la vérification d'intégrité lorsque toutes les plages d'adresses ainsi définies ont été vérifiées au moins une certaine quantité de fois auprès desdits dispositifs électroniques.\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 à 5, caractérisé en ce 25 que le serveur définit lesdites plages d'adresses mémoire de manière aléatoire, et en ce que le serveur stoppe (311) la vérification d'intégrité lorsqu'une quantité Q de dispositifs électroniques sollicités pour la vérification d'intégrité est supérieure à un seuil prédéfini. 30\n<CLM>\1\tProduit programme d'ordinateur, caractérisé en ce qu'il comporte des instructions entraînant l'exécution par un serveur du procédé selon l'une quelconque des revendications 1 à 8, lorsque lesdites instructions sont exécutées par un processeur dudit serveur. 3044124 16\n<CLM>\1\tSupport de stockage, caractérisé en ce qu'il stocke un programme d'ordinateur comportant des instructions entraînant l'exécution par un serveur du procédé selon l'une quelconque des revendications 1 à 8, lorsque lesdites instructions sont exécutées par un processeur dudit serveur. 5\n<CLM>\1\tServeur (100) configuré pour effectuer une vérification d'intégrité d'un ensemble de données sensé avoir subi un déploiement sur une pluralité de dispositifs électroniques (110, 111, 112, 113, 114), caractérisé en ce que ledit serveur comporte : - des moyens pour calculer (302) un premier code de vérification pour chaque 10 plage d'adresses mémoire d'un ensemble de plages d'adresses mémoire, à partir dudit ensemble de données sensé avoir été déployé sur la pluralité de dispositifs électroniques ; - des moyens pour répartir (304) les plages d'adresses mémoire parmi les dispositifs électroniques et pour requérir (305) que chaque dispositif électronique 15 calcule un second code de vérification pour la plage d'adresses mémoire qui lui est attribuée, à partir d'un ensemble de données effectivement en mémoire non volatile dudit dispositif électronique suite audit déploiement ; et - des moyens pour vérifier (308), pour chaque plage d'adresse mémoire, l'adéquation entre le premier code de vérification calculé par ledit serveur et le second 20 code de vérification calculé par chaque dispositif électronique auquel ladite plage mémoire a été attribuée.