Brevet FR3097067A1 — publié le 20201211

Description Titre de l'invention : Procédé et dispositif de traitement de données enregistrées dans une installation de mémoire DOMAINE DE L'INVENTION [0001] La présente invention se rapporte à un procédé de traitement de données enregistrées dans une installation de mémoire. [0002] L'invention se rapporte également à un dispositif de traitement de données enre- gistrées dans une installation de mémoire. [0003] EXPOSE ET AVANTAGES DE L'INVENTION [0004] L'invention a pour objet un procédé de traitement de données enregistrées dans une installation de mémoire comprenant les étapes suivantes consistant à : [0005] - diviser une plage de mémoire de l'installation de mémoire en plusieurs zones partielles, [0006] - former pour au moins l'une des zones partielles, une somme de contrôle carac- térisant le contenu de données d'au moins une zone partielle, [0007] - signer la somme de contrôle notamment à l'aide d'un procédé cryptographique, selon lequel on obtient une sommes de contrôle signée, [0008] - enregistrer au moins provisoirement la sommes de contrôle signée. [0009] Cela permet de reconnaître, d'une manière avantageusement efficace, une modi- fication (non voulue) du contenu des données d'au moins une zone partielle, par exemple, en ce que l'on forme de nouveau la somme de contrôle avec le contenu de données (contenu actuel) d'au moins une zone partielle et on compare avec la somme de contrôle formée au préalable, c'est-à-dire la somme de contrôle signée. En cas de concordance on peut en conclure que le contenu des données est inchangé ; en cas de non-concordance, on peut en conclure que les données ont été modifiées, par exemple, manipulées. La signature de la somme de contrôle augmente avantageusement la sécurité car on évite ainsi qu'une manipulation puisse être faite sur le contenu des données et le cas échéant que Von puisse former une somme de contrôle manipulée, correspondant à la manipulation du contenu de données. 100101 Selon un développement préférentiel, l'installation de mémoire est, par exemple, une installation de mémoire numérique telle qu'une mémoire à semi-conducteurs, volatile, notamment, par exemple, une mémoire vive (mémoire RAM) par exemple, un appareil de commande ou de gestion d'un moteur à combustion interne de véhicule automobile. 100111 Selon d'autres formes de réalisation préférentielle, pour plusieurs, et de préférence pour toutes les zones partielles, on forme une somme de contrôle caractérisant le contenu respectif des données de la zone partielle concernée et notamment les sommes 2 de contrôle associées à plusieurs, et de préférence à toutes les zones partielles qui sont signées en particulier par un procédé cryptographique pour obtenir ainsi des sommes de contrôle signées ; les sommes de contrôle signées sont alors au moins provisoirement enregistrées. On obtient des avantages comparables pour toutes les zones partielles respectives de la zone de mémoire de l'installation de mémoire. En particulier, on peut, de cette façon "protéger" des zones partielles différentes de la zone de mémoire de l'installation de mémoire par des sommes de contrôle signées, c'est-à-dire utiliser des sommes de contrôle signées pour les vérifier et déceler des modifications (non voulues) ce qui peut s'exécuter avantageusement de manière individuelle pour chaque zone partielle différente et notamment indépendamment des autres zones partielles. [0012] Selon des formes de réalisation préférentielle, l'accès en écriture à la ou aux zones partielles est interdit au moins de temps en temps, en particulier avant ou directement après avoir formé la somme de contrôle ou les sommes de contrôle. Cela permet d'éviter une modification du contenu des données de la ou des zones partielles après avoir formé la somme de contrôle, ce qui conserve la validité de la somme de contrôle, par exemple, pour une comparaison avec une autre somme de contrôle formée ultérieurement. [0013] Selon d'autres formes de réalisation préférentielle, selon lequel [0014] a) la somme de contrôle est une somme de contrôle cryptographique, notamment une somme de contrôle cryptographique de type SHA-256 ou SHA-512, et/ou [0015] b) consiste à signer (120) en utilisant au moins l'un des procédés suivants : [0016] A) Procédé RSA notamment selon ISO/IEC 14888-2 :2008, [0017] B) Procédé DSA notamment selon NIST : FIPS Publication 186-3 : Digital Signature Standard, DSS, Juin 2009 et/ou ISO/IEC 14888-3 :2006 Information technology - Security techniques - [0018] Digital signatures with appendix - Part 3 : Discrete logarithm based mechanisms, 2006 [0019] C) Procédé DSA- fondé sur des courbes elliptiques. [0020] Selon d'autres formes de réalisation préférentielle, le procédé comprend en outre les étapes suivantes consistant à : [0021] - fournir une mémoire intermédiaire (mémoire cache) pour au moins une zone partielle, [0022] - enregistrer au moins provisoirement des accès en écriture à au moins une zone partielle à l'aide de la mémoire intermédiaire. [0023] Cela permet d'effectuer, de façon transparente les accès en écriture faite sur au moins une zone partielle, par exemple, pour une unité exécutant les accès en écriture, telle que, par exemple, une installation de calcul et les enregistrer au moins provisoirement 3 dans la mémoire intermédiaire, par exemple, pendant les accès en écriture à au moins une zone partielle qui seront interdits. [0024] Selon d'autres formes de réalisation préférentielle, il est prévu de faire des accès en lecture au moins à des données enregistrées dans une zone partielle par la lecture des données correspondantes de cette zone partielle ou par la lecture de données correspondantes dans au moins une mémoire intermédiaire associée à une zone partielle. [0025] Selon d'autres formes de réalisation préférentielle, le procédé consiste en outre à : [0026] - former une somme de contrôle secondaire caractérisant le contenu actuel des données d'au moins une zone partielle, [0027] - exploiter la somme de contrôle secondaire en fonction d'au moins une somme de contrôle signée, au moins provisoirement enregistrée en mémoire. [0028] La somme de contrôle secondaire peut être formée de la même manière, notamment en utilisant cc même procédé que la somme de contrôle signée. Par exemple, on peut former la somme de contrôle signée à un premier instant notamment avant un changement planifié d'un état de fonctionnement de l'installation de mémoire ou d'une installation de calcul accédant à l'installation de mémoire (par exemple, le passage d'un mode de fonctionnement actif à un mode de fonctionnement en économie d'énergie). A titre d'exemple, on peut former la somme de contrôle à un second instant à la suite du premier instant et le second instant correspond, par exemple, à un second changement d'un état de fonctionnement de l'installation de mémoire ou à une installation de calcul accédant à l'installation de mémoire (par exemple, le passage de l'état d'économie (l'énergie à un mode de fonctionnement actif). Cela permet, par exemple, par la comparaison de la somme de contrôle signée avec la somme de contrôle secondaire, de déterminer si le contenu des données caractérisé par les sommes de contrôle a été modifié pendant l'état d'économie d'énergie, par exemple, par suite d'une erreur ou d'une manipulation. [0029] Selon d'autres formes de réalisation préférentielles, exploiter consiste à : [0030] - comparer la somme de contrôle secondaire à au moins une somme de contrôle signée, enregistrée de façon provisoire d'au moins une zone partielle, [0031] - transmettre le contenu de la mémoire intermédiaire dans au moins une zone partielle, et [0032] - en option, libérer les accès en écriture à au moins cette zone partielle. [0033] Selon d'autres formes de réalisation préférentielle, la transmission du contenu de la mémoire intermédiaire dans au moins une zone partielle se fait si la comparaison de la somme de contrôle secondaire avec la somme de contrôle signée, enregistrée provisoirement et correspondant à au moins une zone partielle, a montré que les deux sommes de contrôle sont identiques et qu'il n'y a pas eu manipulation du contenu des données. [0034] Selon d'autres formes de réalisation préférentielle, la transmission du contenu de la mémoire intermédiaire dans au moins une zone partielle sera faite : [0035] a) si la comparaison de la somme de contrôle secondaire avec la somme de contrôle signée mise provisoirement en mémoire et correspondant à au moins une zone partielle a montré que les deux sommes de contrôle sont identiques et qu'il n'y a pas eu ainsi de manipulation du contenu des données, et [0036] b) si la somme de contrôle signée n'a pas été modifiée du fait de sa signature, par exemple, si elle n'a pas été manipulée. [0037] Dans le cas contraire, c'est-à-dire si, par exemple, la comparaison de la somme de contrôle secondaire avec la somme de contrôle signée enregistrée au moins provisoirement et correspondant à au moins une zone partielle a montré que les deux sommes de contrôles n'étaient pas identiques et qu'il y a eu une modification ou manipulation du contenu des données, alors la transmission du contenu de la mémoire intermédiaire dans au moins une zone partielle et en option, la libération des accès en écriture à au moins une zone partielle ne pourront se faire niais on lancera, par exemple, une réaction de défaut ou d'erreur, telle que, par exemple, la signalisation d'une modification ou d'une manipulation du contenu des données. Cela permet d'éviter avantageusement que, par exemple, après une activation d'une installation de calcul accédant à l'installation de mémoire, à partir d'un état d'économie d'énergie, l'installation de calcul fonctionne avec des données modifiées ou manipulées. [0038] Selon d'autres formes de réalisation préférentielle, les étapes de formation et d'exploitation de plusieurs zones partielles se font et en particulier, les étapes de formation et d'exploitation de plusieurs zones partielles se font indépendamment les unes des autres, par exemple, également à des instants différents ou successifs (non nécessairement directement successifs). Cela augmente d'autant la souplesse et on peut, par exemple, vérifier (ou pas les vérifier) des zones partielles de la zone de mémoire de l'installation de mémoire, de façon sélective en fonction de différents programmes d'ordinateur notamment de façon indépendante les unes des autres. [0039] Selon d'autres formes de réalisation préférentielle, l'invention a pour objet un dispositif pour le traitement de données enregistrées dans une installation de mémoire et ce dispositif est réalisé pour exécuter le procédé selon les formes de réalisation développées ci-dessus. [0040] Selon d'autres formes de réalisation préférentielle, le dispositif comporte au moins une installation de calcul (encore appelée ordinateur) qui est associée, par exemple, à l'installation de mémoire décrite ci-dessus, notamment pour enregistrer au moins provisoirement au moins un programme d'ordinateur et/ou des données notamment à l'aide du dispositif de traitement de données. De façon préférentielle, un programme d'ordinateur est enregistré dans l'installation de mémoire pour commander au moins provisoirement ou de temps en temps le fonctionnement du dispositif, notamment pour exécuter le procédé selon les formes de réalisation développées ci-dessus. [0041] Selon d'autres formes de réalisation préférentielle, l'installation de calcul comporte au moins l'un des éléments suivants : un microprocesseur, un microcontrôleur, un processeur de signaux numériques (DSP), un composant logique programmable, par exemple, un composant FPGA, un circuit ASIC (circuit dédié à une application spécifique) ou plus généralement, un circuit câblé. Les combinaisons sont également envisageables selon des formes de réalisation préférentielle. [0042] Selon d'autres formes de réalisation préférentielle, l'installation de mémoire comporte au moins l'un des éléments suivants : mémoire volatile, notamment vive (mémoire RAM), mémoire non volatile, notamment mémoire Flash, par exemple, Flash EEPROM ou NOR Flash ou NAND-Flash. [0043] Selon d'autres formes de réalisation, le dispositif est conçu pour passer d'un premier état de fonctionnement à un second état de fonctionnement et notamment le premier état de fonctionnement est un état de fonctionnement actif alors que le second état de fonctionnement est un état d'économie d'énergie (par exemple un état de suspension vers RAM) le dispositif étant conçu pour qu'avant le passage du premier état au second état, on exécute les étapes suivantes : [0044] - diviser une zone de mémoire de l'installation de mémoire en plusieurs zones partielles, [0045] - former pour au moins l'une des zones partielles, une somme de contrôle carac- térisant le contenu de données d'au moins une zone partielle, [0046] - signer la somme de contrôle notamment à l'aide d'un procédé cryptographique et obtenir ainsi une somme de contrôle signée, [0047] - enregistrer au moins provisoirement la somme de contrôle signée. [0048] De cette manière, on peut avantageusement former avant le passage à l'état d'économie d'énergie, une somme de contrôle caractérisant (signant) le contenu des données de la zone partielle respective, cette somme permettant ensuite (par exemple lors d'un nouveau changement (l'état) de vérifier de manière efficace, souple et sélective, une ou plusieurs zones partielles pour déceler les modifications du contenu des données. [0049] Selon d'autres formes de réalisation préférentielle, le dispositif est conçu pour passer du second état de fonctionnement au premier état de fonctionnement (par exemple, pour redémarrer à partir d'un état "suspension vers RAM" dans un état de fonctionnement actif), le dispositif étant conçu pour qu'avant ou lors du passage du second état de fonctionnement au premier état de fonctionnement, exécuter les étapes suivantes consistant à : [0050] - fournir une mémoire intermédiaire pour au moins une zone partielle pour au moins 6 enregistrer provisoirement les accès en écriture à au moins une zone partielle à l'aide de la mémoire intermédiaire ; et notamment les accès en lecture aux données enregistrées dans au moins une zone partielle se faisant par la lecture de données correspondantes dans cette zone partielle ou par la lecture de données dans la mémoire intermédiaire associée à cette zone partielle (par exemple, selon la disponibilité des données dans les zones correspondantes), [0051] - former une somme de contrôle secondaire caractérisant le contenu actuel des données au moins d'une zone partielle, [0052] - exploiter la somme de contrôle secondaire en fonction de la somme de contrôle signée enregistrée provisoirement. [0053] Selon d'autres formes de réalisation préférentielle, les étapes ci-dessus de fourniture, etc. pourront être exécutées également (en particulier directement après) le redémarrage à partir de l'état d'attente correspondant à la suspension à l'accès RAM). [0054] D'autres formes de réalisation préférentielle se rapportent à un milieu de mémoire lisible par un ordinateur comportant des instructions, notamment sous la forme d'un programme d'ordinateur qui, exécuté par un ordinateur, le commande pour exécuter le procédé selon les formes de réalisation de l'invention. [0055] Selon d'autres formes de réalisation préférentielle, l'invention se rapporte à un programme d'ordinateur comportant des instructions qui, lors de l'exécution du programme par un ordinateur se traduisent par l'exécution du procédé selon les formes de réalisation. [0056] D'autres formes de réalisation préférentielle concernent un signal de support de données que le programme d'ordinateur transmet selon les formes de réalisation. [0057] D'autres formes de réalisation préférentielle concernent l'utilisation du procédé selon les formes d'exécution et/ou du dispositif selon les formes de réalisation et/ou du programme d'ordinateur selon les formes de réalisation pour vérifier au moins une zone partielle de l'installation de mémoire et détecter les modifications ou manipulations, notamment avant ou pendant ou après un changement de l'installation de mémoire et/ou d'une installation de calcul accédant à l'installation de mémoire passant d'un premier état de fonctionnement à un second état de fonctionnement. [0058] Selon d'autres formes de réalisation préférentielle, le procédé et/ou le dispositif, s'appliquent à un appareil de commande, par exemple, à un appareil de commande ou de gestion d'un véhicule automobile, notamment un appareil de commande ou de gestion du moteur à combustion interne d'un véhicule automobile, par exemple, pour au moins l'une des applications suivantes : [0059] a) commande du fonctionnement ou du passage (l'état de fonctionnement de l'appareil de commande, [0060] b) libération ou non libération d'une ou plusieurs fonctions de l'appareil de 7 commande et/ou d'un autre composant et/ou par exemple, du véhicule automobile, [0061] c) changement en mode de défaut et/ou de secours, [0062] d) enregistrement d'un défaut, en mémoire, [0063] c) signalement d'un état de fonctionnement à une unité externe et/ou à un utilisateur, [0064] f) commande d'un organe d'actionnement. [0065] Selon d'autres formes de réalisation préférentielle, un ou plusieurs des points a), h)..., f) évoqués ci-dessus peuvent consister à former déjà décrit ci-dessus une somme de contrôle secondaire caractérisant le contenu actuel des données d'au moins une zone partielle et exploiter la somme de contrôle secondaire en fonction d'au moins une somme de contrôle signée, enregistrée provisoirement de façon que, comme déjà décrit ci-dessus, déceler les manipulations ou les défaut concernant le contenu des données. Selon d'autres formes de réalisation préférentielle, on peut, par exemple, exécuter ou ne pas exécuter un ou plusieurs des points a), h),.. .1) évoqués ci-dessus en fonction de la détection d'une manipulation ou d'une erreur ou défaut. [0066] Selon d'autres formes de réalisation préférentielle, on utilise le procédé tel que décrit ci-dessus et/ou le dispositif tel que décrit ou/et le programme d'ordinateur tel qu'évoqué pour vérifier au moins une zone partielle de l'installation dc mémoire et déceler les modifications ou manipulations, en particulier, avant ou pendant ou après un changement de l'installation dc mémoire et/ou d'une installation de calcul accédant à l'installation de mémoire passant d'un premier état de fonctionnement à un second état de fonctionnement et pour commander le fonctionnement, par exemple, d'un appareil de commande ou de gestion d'un moteur à combustion interne d'un véhicule automobile en fonction de cette vérification. Brève description des dessins [0067] La présente invention sera décrite ci-après dc manière plus détaillée à l'aide d'exemples du procédé dc traitement de données d'un dispositif pour la mise en oeuvre du procédé représenté dans les dessins annexés 30 dans lesquels : [0068] [fig.1A] ordinogramme schématique simplifié d'un procédé selon des formes de réa- lisation préférentielle, [0069] [fig.113] ordinogramme schématique simplifié d'un procédé selon des formes de réa- lisation préférentielle, [0070] [fig.1C] ordinogramme schématique simplifié d'un procédé selon des formes de réa- lisation préférentielle, [0071] [fig.2] schéma bloc simplifié d'un dispositif selon d'autres formes de réalisation pré- férentielle, [0072] [fig.3] schéma bloc simplifié d'un dispositif selon d'autres formes de réalisation pré- férentielle, 8 [0073] [fig.4] schéma bloc simplifié d'un dispositif selon d'autres formes dc réalisation pré- férentielle, [0074] [fig.5] schéma bloc simplifié d'un dispositif selon d'autres formes dc réalisation pré- férentielle, [0075] [fig.6] schéma bloc simplifié d'un dispositif selon d'autres formes dc réalisation pré- férentielle, [0076] [fig.7] schéma bloc simplifié d'un dispositif selon d'autres formes dc réalisation pré- férentielle. [0077] DESCRIPTION DE MODES DE REALISATION DE L'INVENTION [0078] La [fig.1 A] est un schéma d'un ordinogramme simplifié d'un procédé de traitement de données enregistrées dans une installation dc mémoire selon des formes de réalisation préférentielle et la [fig.2] montre un schéma par blocs, simplifié d'un dispositif 200 selon d'autres formes de réalisation préférentielle pour la mise cn oeuvre du procédé. [0079] Le dispositif 200 comprend une installation de calcul 202 (encore appelé cal- culateur), par exemple associé à l'installation de mémoire 204 décrite ci-dessus notamment pour enregistrer au moins de temps en temps au moins un programme d'ordinateur PRO et/ou des données DAT notamment à l'aide du dispositif 202 qui traite les données. En outre, de façon préférentielle, l'installation de mémoire 204 peut contenir un programme d'ordinateur pour commander au moins de temps en temps le fonctionnement du dispositif 200, notamment pour exécuter le procédé selon les formes de réalisation. [0080] Selon d'autres formes de réalisation préférentielle, l'installation de calcul 202 comporte au moins l'un des éléments suivants : un microprocesseur, un micro-contrôleur, un processeur de signaux numériques (DSP), un composant logique programmable (encore appelé circuit logique programmable in situ ou un réseau de portes programmables (par exemple un composant FPGA), un circuit ASIC (circuit intégré spécifique à des applications), ou de façon générale un circuit. Des combinaisons sont également envisageables selon d'autres formes de réalisation préférentielles. L'installation de calcul 202 sera également appelée ci-après "ordinateur". [0081] Selon d'autres formes de réalisation préférentielle, l'installation de mémoire 204 comporte au moins l'un des éléments suivants : une mémoire volatile 204a, notamment une mémoire vive RAM, une mémoire non volatile 204b, notamment une mémoire Flash, par exemple, une mémoire Flash-EEPROM ou NOR Flash ou NAND-Flash. [0082] D'autres formes de réalisation préférentielle concernent un support de mémoire SM lisible par un ordinateur contenant des instructions, notamment sous la forme d'un programme d'ordinateur PRO' qui, exécutées par cet ordinateur 202, lui font exécuter le procédé selon des formes de réalisation déciites de façon plus détaillée ci-après en 9 référence aux figures 1A, 1B, 1C, 3-7. [0083] D'autres formes de réalisation préférentielles concernent un programme d'ordinateur PRO avec des instructions qui, dans l'exécution du programme PRO par un ordinateur 202, lui font exécuter le procédé selon des formes dc réalisation. [0084] D'autres formes de réalisation préférentielle concernent le signal support de données DS que le programme d'ordinateur PRG transmet selon les formes de réalisation. Par exemple, le dispositif 200 peut comporter, selon d'autres formes de réalisation préférentielle, une interface 206 pour une communication de données (de préférence une communication bidirectionnelle) avec d'autres unités non représentées, qui permet, par exemple, de recevoir le signal porteur de données DS, sous la forme d'un téléchargement à partir d'un réseau de données. [0085] D'autres formes de réalisation préférentielles concernent un procédé de traitement de données enregistrées dans l'installation de mémoire 204. De façon préférentielle, le procédé s'applique, par exemple à des données enregistrées dans la mémoire volatile 204a comme cela sera décrit ensuite à titre d'exemple. De façon générale, pour les autres formes de réalisation préférentielles, l'application du procédé aux données enregistrées dans une mémoire non volatile 20* est également possible et avantageuse. [0086] Le procédé selon des formes de réalisation préférentielle comporte les étapes suivantes (voir [fig.]A]) : [0087] - diviser 100 une plage de mémoire SB ([fig.2]) de l'installation de mémoire 204 en plusieurs zones partielles TB_1, TB_2, TB_N, pour au moins l'une des zones partielles TB_1, TB_2, TB_N, [0088] - former 110 ([fig.1A]) une sommes de contrôle PS_1, PS_2, PS_N caractérisant le contenu de données d'au moins une zone partielle TB_1, TB_2, TB_N, [0089] - signer 120 la somme de contrôle PS_1, PS_2, PS_N notamment à l'aide d'un procédé cryptographique de façon à obtenir la somme de contrôle signées PS_ls, PS_2s, PS_Ns, [0090] - au moins enregistrer périodiquement 130 la somme de contrôle signées PS_ls, PS_2s, PS_Ns. Cela permet de détecter efficacement toute variation (non voulue) du contenu des données de la plage partielle correspondante zone partielle TB_1, par exemple, en ce que l'on forme de nouveau la somme de contrôle concernant le contenu de données (actuel) d'au moins une zone partielle et on compare avec la somme de contrôle formée au préalable ou somme de contrôle signée. Lorsqu'il y a concordance, on peut en conclure que le contenu de données est inchangé ; en cas de non-concordance, on peut, en conclure que des données ont été modifiées, par exemple, manipulées. La signature 120 de la somme de contrôle augmente avantageusement la sécurité car ainsi on évite la manipulation du contenu de données et le cas échéant on a une somme de contrôle manipulée, adaptée à la manipulation du contenu de la matière. [0091] On examinera à titre d'exemple une plage de mémoire SB ([fig.2]) de la mémoire RAM 204a qui représente, par exemple, l'ensemble de la plage disponible de la mémoire RAM 204a ou seulement une partie de celle-ci. [0092] Selon d'autres formes de réalisation préférentielle, il est prévu de former une somme de contrôle PS 1, PS ..., PS N caractérisant le contenu de données respectif dc la zone partielle de préférence de toute des zones partielles TB 1, TB 2, ..., TB N ; notamment en particulier, on signe les sommes dc contrôle, en particulier de préférence et notamment de toutes les zones partielles en particulier avec un procédé cryptographique ;on obtient ainsi des sommes de contrôle signées PS ls, PS 2s, ..., PS Ns et ces sommes de contrôle signées PS ls, PS 2s, ..., PS Ns sont au moins en partie enregistrées en mémoire. On obtient des avantages comparables pour les plages partielles respectives de la plage de mémoire SB de l'installation de mémoire 204. En particulier, on peut, de cette manière, "protéger" des zones partielles TB 1, TB 2, ..., TB N, différentes de la plage dc mémoire SP de l'installation de mémoire 204 par des sommes de contrôle signées, c'est-à-dire qu'en utilisant des sommes de contrôle signées on pourra vérifier des modifications (non souhaitées) cc qui s'exécute avantageusement individuellement pour chacun des sommes de contrôle PS 1, PS ..., PS N, en par- ticulier en fonction des autres zones partielles. [0093] Selon d'autres formes de réalisation préférentielles, on associe chacune des zones partielles TB 1, TB 2, ..., TB N, un programme d'ordinateur PRO du dispositif 200 ou encore, par exemple, à une partie (module) du programme d'ordinateur PRO et/ou des données prédéfinies De manière avantageuse, on sélectionne les zones partielles TB_1, TB_2, TB_N, par exemple, dans l'étape 100 ([fig.lA1) de manière à cor- respondre à au moins un programme d'ordinateur PRO prédéfini du dispositif 200 à une partie de celui-ci ou à des données correspondantes, ce qui augmente la flexibilité. A titre d'exemple, le procédé selon les formes de réalisation peut être exécuté pour des programmes d'ordinateur importants PRO du dispositif 200 ou des parties importantes de celui-ci ou pour des zones partielles TB_1, TB_2, TB_N alors que pour des parties moins importantes ou des programmes d'ordinateur ou des zones partielles de la plage de mémoire SB, l'exécution du procédé selon les formes de réalisation sera au moins en partie non indispensable. [0094] Selon d'autres formes de réalisation préférentielle, il est prévu d'interdire des accès d'écriture aux zones partielles TB_1, TB_2, TB_N au moins de temps en temps (voir l'étape 112 en option selon la [fig.1A]) notamment avant ou directement après la formation 110 de la somme de contrôle ou des sommes de contrôle. On évite ainsi toute modification du contenu des données de la ou des zones partielles TB_1, TB_2, TB_N après la formation de la somme de contrôle. [0095] Selon d'autres forme de réalisation préférentielle, il est prévu que : 11 [0096] a) Ssl est une somme de contrôle cryptographique, notamment une somme de contrôle cryptographique de type SHA (secure hash algorithm)-256 ou SHA-512, et/ou [0097] b) la signature se fait en utilisant au moins l'un des procédés suivants : [0098] A) procédé RSA, notamment selon ISO / IEC 14888-2 :2008, [0099] B) procédé DSA notamment selon NIST : FIPS Publication 186-3 : Digital Signature Standard, DSS, juin 2009 et/ou ISO/IEC 14888-3 :2006 Information technology - Security techniques - [0100] Digital signatures with appcndix - Part 3 : Discrcte logarithm bascd rncchanisms, 2006 [0101] C) procédé DSA s'appuyant sur des courbes elliptiques. [0102] Selon d'autres formes de réalisation préférentielle on peut faire des calculs crypto- graphiques tels que, par exemple, pour la formation 110 des sommes de contrôle PS 1, PS PS N et/ou la signature 120 à l'aide d'un programme d'ordinateur prévu à cet effet pour le dispositif 200. En variante ou en complément, le dispositif 200 peut également disposer d'un accélérateur de circuit (non représenté) pour les primitives cryptographiques ou les calculs et qui est, par exemple, intégré dans l'installation de calcul 202. [0103] La [fig.3] montre un schéma par blocs, simplifié, selon d'autres formes de réalisation préférentielles. La figure montre la division de la plage de mémoire SB (ici N zones partielles TB 1, TB 2, ..., TB N). Les flèches des blocs Al symbolisent, par exemple, des accès en lecture aux zones partielles TB_1, TB_2..... TB_N, qui sont possible notamment pendant l'exécution du procédé selon les formes de réalisation. Par exemple, les programmes d'application PRO du dispositif 200 ([fig.21) accèdent par les accès en lecture au contenu de données d'une ou plusieurs zones partielles TB_I. TB_2, TB_N. Les flèches de bloc A2 et les blocs Bi symbolisent, par exemple, la formation d'une somme de contrôle selon l'étape 110 (et le cas échéant la formation de la signature selon l'étape 120) selon la [fig.1A] ; les flèches de bloc A3 symbolisent, par exemple, les sommes de contrôle PS_1, PS_2, PS_N obtenus ou les sommes de contrôle signées (PS_Is, PS_2s, PS_Ns ; par exemple, au moins leur enregistrement en mémoire de temps en temps (voir également l'étape 130 selon la [fig.IA]). [0104] Selon d'autres formes de réalisation préférentielle (voir [fig.113]) le procédé comporte en outre les opérations suivantes consistant à : [0105] - fournir 140 une mémoire intermédiaire CAL CA2...., CAN (mémoire "Cache") pour au moins une zone partielle TB_I, TB_2, TB_N, pour enregistrer en tampon 150 des accès d'écriture à au moins une zones partielles TB_I, TB_2, TB_N, l'aide d'au moins une mémoire intermédiaire CAL CA2..... CAN. Cela permet d'effectuer de manière transparente sur au moins une zone partielle TB_1. TB_2, TB_N, les accès d'écriture réussis, par exemple pour une unité exécutant les accès 12 d'écriture comme, par exemple, l'installation de calcul 202 (ou le programme d'application qui se déroule dans cette installation) et d'enregistrer au moins de temps en temps dans les mémoires intermédiaires CA1, CA2, ..., CAN, par exemple, en in- terdisant les accès d'écriture à au moins une zones partielles TB 1, TB 2, TB N, (voir étape 112, [fig.]A]). Pour d'autres formes de réalisation préférentielle, comme mémoire intermédiaire mémoire intermédiaire CA1, CA2, ..., CAN on peut, par exemple, disposer d'une autre zone CA de la mémoire RAM 204a ou d'autres mémoires, par exemple, volatiles. [0106] Selon d'autres formes de réalisation préférentielle (voir [fig.1B]) l'accès en lecture 160 aux données enregistrées en mémoire dans au moins une zone partielle TB 1, TB 2, ..., TB N, se fait par la lecture des données correspondantes dans au moins une zone partielle TB 1, TB 2, ..., TB N, ou encore par la lecture des données correspondantes dans la mémoire intermédiaire CA1, CA2, ..., CAN associée à au moins l'une des zones partielles TB 1, TB 2, ..., TB N. [0107] Selon d'autres formes de réalisation préférentielle (voir [fig.1B]) le procédé consiste en outre à : [0108] - former 170 une somme de contrôle intermédiaire PS' 1 caractérisant au moins le contenu actuel des données d'au moins une zone partielle TB 1 ; [0109] - exploiter 180 la somme de contrôle intermédiaire PS' 1 secondaire en fonction de la somme de contrôle signée PS ls, PS 2s, PS Ns enregistrée au moins provi- soirement ([fig.1A], 3). [0110] La somme de contrôle intermédiaire PS'_1 ([fig.113]) peut être formée notamment en utilisant les mêmes procédés comme la somme de contrôle signée PS_is. Par exemple, la somme de contrôle signée PS_is peut être formée à un premier instant, notamment avant l'alternance planifiée d'un état de fonctionnement de l'installation de mémoire 204 ou de l'installation de calcul 202 accédant à l'installation de mémoire 204, par exemple au passage du mode de fonctionnement actif au mode de fonctionnement avec économie d'énergie. [0111] Par exemple, la somme de contrôle intermédiaire PS'_1 secondaire peut être formée à un second instant qui suit le premier instant, ce second instant correspondant, par exemple, à un second changement de l'état de fonctionnement de l'installation de mémoire 204, c'est-à-dire de l'installation de calcul 202 accédant à l'installation de mémoire 204 (par exemple le passage du mode d'économie d'énergie au mode de fonctionnement actif). Cela permet, par exemple, par la comparaison de la somme de contrôle signée PS_ls avec la somme de contrôle intermédiaire PS'_1, de déterminer si le contenu de données de la plage partielle concernée par les sommes de contrôle inter- médiaires PS'_1, sommes de contrôle signées PS_is, PS_2s, PS_Ns a été modifié pendant l'état d'économie d'énergie, par exemple, par une erreur ou une manipulation. 13 [0112] Selon d'autres formes de réalisation préférentielle (voir [fig.1C]) il est prévu que l'exploitation 180 comprend les étapes consistant à : [0113] - comparer 182 la somme de contrôle intermédiaire PS' 1 a au moins une somme de contrôle signée PS ls enregistrée provisoirement d'au moins une zone partielle TB 1, [0114] - transmettre 184 le contenu de la mémoire intermédiaire CA1 ([fig.3]) dans au moins une zone partielle TB 1 et en option, [0115] - libérer 186 afig.1C]) les accès en écriture à au moins une zone partielle TB 1. [0116] Selon d'autres formes de réalisation préférentielle, la transmission 184 du contenu de la mémoire intermédiaire CA1 dans au moins une zone partielle TB 1 peut se faire si la comparaison 182 ([fig.1C]) de la somme de contrôle secondaire avec la somme de contrôle signée, enregistrée de façon provisoire, correspondant à au moins une zone partielle a montré que les deux sommes de contrôle sont identiques et qu'il n'y a pas eu manipulation du contenu des données. [0117] Selon d'autres formes de réalisation préférentielle, la transmission 184 du contenu de la mémoire intermédiaire CA1 dans au moins une zone partielle TB 1 peut se faire si, [0118] a) La comparaison 182 de la somme de contrôle secondaire avec une somme de contrôle signée, enregistrée au moins provisoirement, d'au moins une zone partielle a montré que les deux sommes de contrôle sont identiques et qu'il n'y a pas eu de manipulation du contenu des données et, [0119] b) La somme de contrôle signée PS 1 s du fait de sa signature n'a pas été modifiée, par exemple manipulée. Ainsi, dans l'étape 182 en option on peut contrôler la signature de la somme de contrôle signée PSils. [0120] Dans le cas contraire, c'est-à-dire si, par exemple, les comparaisons 182 des sommes de contrôle secondaires avec une somme de contrôle signée enregistrée provisoirement correspondant à au moins une zone partielle ont montré que les deux sommes de contrôle n'étaient pas identiques, et qu'il y a eu modification ou manipulation du contenu des données, la transmission 184 du contenu de la mémoire intermédiaire dans au moins une zone partielle et en option la libération 186 des accès en écriture à au moins une zone partielle n'ont pas été effectuées mais, par exemple, une réaction d'erreur en option FR ([fig.1C1) est lancée ; par exemple, il s'agit de la signalisation d'une modification d'une manipulation du contenu des données et/ou l'exécution d'un redémarrage ("reboot") ou d'une remise à l'état initial ("reset"). Cela permet d'éviter avantageusement que, par exemple, après une activation d'une installation de calcul 202 accédant à l'installation de mémoire 204 passant de l'état d'économie d'énergie, l'installation de mémoire 202 fonctionne avec des données modifiées ou manipulées. [0121] Selon d'autres formes de réalisation préférentielle, les étapes de formation 170 et d'exploitation 180 ([fig.1131) de plusieurs zones partielles TB_11, TB_2, TB_N, ont été faites et notamment les étapes de formation 170 et d'exploitation 180 de plusieurs 14 zones partielles TB 1, TB 2, ..., TB N ont été effectuées indépendamment les unes des autres. Cela augmente d'autant la souplesse et on peut, par exemple, avoir des programmes d'ordinateur PRG différents pour les zones partielles TB 1, TB 2, ..., TB N de la zone de mémoire SB de l'installation de mémoire 204, vérifiés sélectivement selon les formes de réalisation (ou non vérifiés) notamment de manière indépendante les unes des autres. [0122] La [fig.4] montre un schéma par blocs simplifié correspondant à d'autres formes de réalisation préférentielle. En plus des éléments zones partielles TB 1, TB 2, ..., TB N déjà décrits ci-dessus en référence à la [fig.3], on a représenté à la [fig.4] les mémoires intermédiaires (CA1, CA2, ..., CAN associées aux zones partielles TB 1, TB 2, ..., TB N. En outre, les flèches de bloc A4 schématisent les accès en lecture et/ou les accès en écriture aux mémoires intermédiaires CA1, CA2, ..., CAN, par exemple en les garantissant de sorte que pendant le procédé selon les formes de réalisation, si en option on interdit au moins de temps en temps des accès en écriture aux zones partielles TB 1, TB 2, ..., TB N (étape 112 de la [fig.1A]) les programmes d'application PRO du dispositif 202 ([fig.2]) continueront à lire les données des zones partielles TB 1, TB 2, ..., TB N, et/ou à inscrire des données et cela dans les mémoires intermédiaires CA1, CA2, ..., CAN. Le fonctionnement des programmes d'application PRO n'est pas dérangé. Les blocs Bl' de la [fig.4] symbolisent la formation de la somme dc contrôle intermédiaire PS' 1 selon l'étape 170 de la [fig.1B] et la comparaison 182 avec la somme de contrôle signée PS_is formée préalablement. [0123] Selon d'autres formes de réalisation préférentielle, les étapes de formation 170 et d'exploitation 182, notamment la comparaison 182 de plusieurs zones partielles TB_1, TB_2, TB_N seront effectuées et en particulier, les étapes de formation et d'exploitation pour plusieurs zones partielles seront faites indépendamment les unes des autres, par exemple, à des instants différents ou de façon successive dans le temps (non nécessairement directement). Cela augmente d'autant la souplesse et, par exemple des programmes d'ordinateur différents peuvent vérifier des zones partielles correspondant à la zone de mémoire de l'installation de mémoire, de manière sélective selon les formes de réalisation (ils pourront vérifier ou non vérifier) notamment de manière indépendante. [0124] La [fig.5] montre un schéma par blocs simplifié d'autres formes de réalisation préfé- rentielle. Pour les deux zones partielles TB_1, TB_2 la comparaison selon l'étape 182 a déjà été effectuée et a, par exemple, montré que les sommes de contrôle secondaires respectives correspondent aux sommes de contrôles PS_L PS_2s formées à l'origine de sorte que l'on déduit qu'il n'y a pas eu manipulation du contenu des données des deux zones partielles TB_1, TB_2. Cela permet de réinscrire pour les deux zones partielles TB_L TB_2, le contenu des mémoires caches CA1, CA2 de nouveau dans les zones partielles TB 1, TB 2 (voir la flèche de bloc A4b a4c). Pour l'autre zone partielle TB N la comparaison 182 n'est pas terminée (ou elle sera intentionnellement effectuée ensuite), voir le bloc Bl", c'est pourquoi le présent contenu de la mémoire Cache CAN ne peut pas être remis et déjà dans la zone partielle TB N. Les accès en lecture et/ou en écriture A4' à la TB N se font comme précédemment, par exemple, par l'intermédiaire de la mémoire cache CAN (par exemple l'accès en lecture le cas échéant également directement dans la TB N. [0125] Dès que la TB N a été vérifiée, avec la comparaison selon l'étape 182 pour la TB N qui a réussi, on peut remettre le contenu de toutes les mémoires cache intermédiaires CA1, CA2, ..., CAN dans les zones partielles TB 1, TB 2, ..., TB N correspondantes (voir le schéma par blocs de la [fig.6], notamment les flèches de bloc A5'. [0126] Dès que le contenu d'une mémoire intermédiaire ou mémoire cache a été réécrit complètement dans la zone de mémoire correspondante, par exemple, en partant de l'état présenté à la [fig.6], on libère de nouveau la mémoire intermédiaire et on peut l'utiliser autrement et les accès en lecture et en écriture peuvent se faire directement dans la zone partielle correspondante. [0127] Pour l'une des zones partielles, par exemple, pour la comparaison 182 ([fig.1C]) si l'on constate qu'une somme de contrôle cryptographique a été abîmée (c'est-à-dire la différence entre la somme de contrôle intermédiaire PS' 1 formée actuellement et la somme de contrôle signée PS ls formée préalablement, selon d'autres formes de réalisation préférentielle on définit différentes mesures (voir par exemple, la réaction d'erreur FR, [fig.IC]). Ces mesures peuvent avoir pour d'autres formes de réalisation préférentielle, des effets pour des composants de programme de la zone partielle respective, mais également en outre pour des composants de programme d'une autre zone partielle-par exemple pour des relations hiérarchiques entre les composants de programme dans des zones partielles différentes. [0128] La [fig.?] montre schématiquement différents états Z1, Z2, Z3 du dispositif 200 ( [fig.2]) selon d'autres formes de réalisation préférentielle. L'axe horizontal (x) pour des coordonnées croissantes (vers la droite selon la [fig.?]) représente une consommation croissante de puissance électrique et l'axe vertical (y) représente la fonctionnalité croissante selon des valeurs croissantes de la coordonnée (vers le haut selon la [fig.?]). Le premier état de fonctionnement ZI ("AN") correspond, par exemple à un fonctionnement actif du dispositif 200 ; le second état de fonctionnement Z2 correspond, par exemple, à un état d'économie d'énergie notamment à un état de "suspension vers RAM ("Suspend-To-RAM Modus"). Dans ce mode de suspension Z2, l'état actuel du système (également les contenus de données de la mémoire RAM 204a) sont figés et ensuite on commute dans un mode de consommation de puissance par les composants de programme selon lequel les composants ont une consommation 16 réduite ou sont partiellement coupés et consomment ainsi moins ou pas d'énergie électrique. [0129] La mémoire de travail 204a est alimentée dans ce mode d'économie et le contenu de la mémoire reste ainsi conservé. L'énergie nécessaire à cc mode est inférieure à celle de l'état actif du système Z1 ("AN"), dans lequel on peut, par exemple, avoir des accès en lecture et en écriture. Le troisième état Z3 correspond à la désactivation totale du dispositif 200 c'est-à-dire à l'état "coupé". Les différents accès d'état entre les états selon d'autres formes de réalisation préférentielle sont référencés à la [fig.7] par les références z12, z13, z21, z23, z31, z32. [0130] Selon d'autres formes de réalisation préférentielle, le dispositif 200 ([fig.21) est réalisé de façon à passer du premier état dc fonctionnement Z1 ([fig.7] "marche") dans le second état de fonctionnement Z2, c'est-à-dire dans l'état de suspension vers RAM, dans lequel le dispositif 200 exécute avant le passage zone partielle TB 12 du premier état de fonctionnement Z1 dans le second état de fonctionnement Z2, les étapes 100, 110 et en option 112, 120, 130 selon les figures 1A, 1B, 1C. De cette manière, de façon avantageuse, avant de passer à l'état de suspension vers RAM, on forme des sommes de contrôle caractérisant (signant) l'état d'un contenu de données de la zone partielle respective, ces sommes de contrôle permettant ensuite une vérification efficace, souple et sélective d'une ou plusieurs zones partielles pour déterminer les modifications du contenu des données. [0131] Selon d'autres formes de réalisation préférentielle, le dispositif 200 est conçu pour passer du second état de fonctionnement Z2 dans un premier état de fonctionnement Z1 (marche), selon lequel le dispositif 200, avant le passage z21 (démarrage) passe du second état de fonctionnement Z2 dans le premier état de fonctionnement Z1 en exécutant les étapes 140, 150 selon la [fig.1B] ; en particulier on applique notamment les accès en lecture 160 aux données enregistrées dans une zone partielle par la lecture des données correspondantes de cette zone partielle ou par la lecture de données correspondantes d'au moins une mémoire intermédiaire associée à la zone partielle. En outre, on peut former 170 une somme de contrôle secondaire caractérisant le contenu actuel des données d'au moins une zone partielle et exploiter 180 cette somme de contrôle secondaire en fonction d'au moins une somme de contrôle signée, enregistrée provisoirement, notamment faire une comparaison 182 selon la [fig.1C]. [0132] Selon les passages d'état zone partielle z12, s21 décrits à titre d'exemple, ci-dessus, le procédé peut, sans d'autre forme de réalisation préférentielle, être exécuté pour au moins une zone partielle TB_1 de la zone de mémoire SB, par exemple, également pour d'autres zones partielles ou toutes les zones partielles TB_1, TB_2, TB_N. [0133] D'autres formes de réalisation préférentielle concernent l'utilisation du procédé et/ou du dispositif 200 et/ou du programme d'ordinateur PRO selon les formes de réalisation 17 pour vérifier au moins une zone partielle TB 1 de l'installation de mémoire 204 pour déterminer des modifications ou des manipulations, notamment avant ou pendant ou après un changement zone partielle TB 12, z21 de l'installation de mémoire 204 et/ou de l'installation de calcul 202 accédant à l'installation de mémoire 204 en passant d'un premier état de fonctionnement ZONE PARTIELLE TB 1 à un second état de fonctionnement Z2. [0134] Le procédé selon des formes de réalisation préférentielle peut s'appliquer avanta- geusement, notamment par exemple, au système d'ordinateur 200 qui se caractérise par des exigences élevées quant à la disponibilité dans le temps et la capacité de réaction dans le temps ainsi que des exigences strictes concernant la consommation de puissance autorisée du système utilisé. Les systèmes répondant à de telles exigences sont notamment ceux dans le domaine de l'automobile, niais il peut également s'agir dans d'autres domaines, comme, par exemple, celui du transport ferroviaire ou de la navigation aérienne. Les exigences concernant la consommation de puissance de tels systèmes (généralement pour les puissances maximales consommées) il est avantageux que de tels systèmes d'ordinateurs selon d'autres formes de réalisation passent d'un état Z1 dans lequel on dispose des fonctionnalités du système 200 appelé ci-après état "AN" (marche) dans un état Z3 dans lequel les fonctionnalités du système ne sont pas disponibles et qui est appelé état "AUS" (état arrêté). En outre, on peut prévoir des états supplémentaires Z2 qui se situent pour la consommation de puissance et la fonctionnalité, entre les états Z1 et Z3 (voir [fig.7]). Ces états supplémentaires sont également appelés mode d'économie d'énergie et ne se limitent pas au mode de suspension vers RAM décrit à titre d'exemple ci-dessus. Bien plus, on peut avoir différents modes d'économie de courant avec des fonctions différentes et/ou des exigences de puissance ou consommation de puissance différente. [0135] Selon d'autres formes de réalisation préférentielle on peut ne pas avoir une durée de passage z12 des états disposant des fonctionnalités du système dans un état dans lesquels les fonctionnalités du système sont disponibles et qui correspond au temps de démarrage. Ces états supplémentaires Z2 du système se caractérisent en ce que, par exemple, on ne dispose que de fonctionnalités limitées ou pas de fonctionnalité, et que l'état Z2 permet néanmoins un passage plus rapide dans l'état Z1 ("AN"). [0136] Selon d'autres formes de réalisation préférentielle, le dispositif assure des fonctions de sécurité. Ces fonctions se manifestent, par exemple, dans l'un des états du système Z1, Z2, Z3 mais également dans les passages z12, z21 entre les états du système. [0137] Répondre aux exigences de sécurité selon d'autres formes de réalisation est, par exemple, possible de façon souple et efficace, notamment également pour le passage z12, z21 entre les différents modes de fonctionnement Z1, Z2. Des formes de réalisation préférentielle permettent notamment d'avoir un passage plus rapide de l'état 18 Z2 (mode d'économie de courant, par exemple, le mode suspension vers RAM) à l'état Z1 ("AN") tout en respectant les exigences de sécurité. Cela est notamment possible du fait que les sommes de contrôle (sommes signées) pour les zones partielles TB 1, TB 2 de la zone de mémoire SB sont prévues et pour le démarrage en partant de l'état Z2 et passant à l'état Z1, on vérifie de manière souple, individuellement, ( par exemple, à l'aide des étapes 170, 180, 182) une ou plusieurs ou toutes zones partielles ; la succession des vérifications des différentes zones partielles se fait, par exemple, en fonction de l'importance des zones partielles pour la sécurité du fonctionnement du dispositif 200. Cela permet, par exemple, de rétablir plus rapidement les fonctionnalités associées aux différentes zones partielles respectives TB 1, TB 2, ..., de programmes, par exemple de fonctionnement et/ou d'application du dispositif 200 (cela se fait plus rapidement en se référant aux différentes zones partielles, en comparant, par exemple, avec un contrôle global de l'ensemble de la zone de mémoire SB). Un autre avantage est une possible prise en compte indépendante des composants de programme qui correspondent à différentes zones partielles. Ainsi, les différents composants de programme ne seront pas influencés réciproquement ou seulement dans un cadre prédéfini, ce qui permet de garantir l'absence d'interférence par rapport au passage des états Z2, Z1 du système. [0138] Selon d'autres formes de réalisation préférentielle, le procédé et/ou dispositif selon les formes de réalisation, sont exécutés dans un appareil de commande, par exemple, celui équipant un véhicule automobile, notamment un appareil de commande (ou appareil de gestion du moteur à combustion interne d'un véhicule automobile), par exemple, pour les applications suivantes : [0139] a) Commande du fonctionnement ou du passage d'état de fonctionnement de l'appareil de commande, [0140] b) Libération ou non libération d'une ou plusieurs fonctions de l'appareil de commande et/ou d'un autre composant et/ou, par exemple, du véhicule, [0141] c) Passage dans un mode de défaut et/ou un mode de secours, [0142] d) Enregistrer dans une mémoire de défaut, [0143] e) Signaler un état de fonctionnement à une unité externe, et/ou à un utilisateur, [0144] t) Commander un organe de réglage. [0145] Selon d'autres formes de réalisation préférentielle, par exemple, la formation 170 décrite ci-dessus en la référence à la [fig.1B], d'une somme de contrôle secondaire caractérisant un contenu actuel de données d'au moins une zone partielle et l'exploitation 190 de la somme de contrôle secondaire peuvent se faire en fonction d'une somme de contrôle, signée, enregistrée provisoirement ; ainsi, comme déjà décrit ci-dessus, par exemple on pourra déceler des manipulations ou des erreurs concernant le contenu correspondant des données. Selon d'autres formes de réalisation préférentielle, un ou 19 plusieurs des aspects ci-dessus ou étapes a, h, ....f ne seront pas exécutés ou le seront en fonction de la détection de manipulations ou dc défauts. [0146] D'autres formes de réalisation préférentielle concernent l'utilisation du procédé selon les formes de réalisation et/ou du dispositif selon les formes de réalisation et/ou du programme d'ordinateur selon les formes de réalisation pour vérifier au moins une zone partielle de l'installation de mémoire pour détecter des modifications ou des manipulations, notamment avant ou pendant ou après un changement d'installation dc mémoire et/ou d'une installation de calcul accédant à une installation dc mémoire passant d'un premier état de fonctionnement à un second état de fonctionnement et pour commander un mode de fonctionnement, par exemple, d'un appareil de commande d'un moteur à combustion interne d'un véhicule automobile en fonction de cette vérification. [Revendication 1] [Revendication 2] [Revendication 3] [Revendication 4] REVENDICATIONSProcédé de traitement dc données enregistrées dans une installation de mémoire (204) comprenant les étapes suivantes consistant à : - diviser (100) une plage de mémoire (SB) de l'installation de mémoire (204) en plusieurs zones partielles (TB I , TB 2, .., TB N), - former (110) pour au moins l'une des zones partielles (TB 1, TB 2, ..., TB N), une somme de contrôle (N I) caractérisant le contenu de données d'au moins une zone partielle (TB 1), - signer (120) la somme de contrôle (PS) notamment à l'aide d'un procédé cryptographique, selon lequel on obtient une sommes de contrôle (PS_1) signée, - enregistrer au moins provisoirement (130) la sommes de contrôle (PS_1) signée. Procédé selon la revendication 1, selon lequel pour plusieurs, de préférence toutes les zones partielles (TB_1, TB_2, TB_N), on forme une somme de contrôle (PS_1, PS_2,..., PS_N) caractérisant le contenu de données respectif de la zone partielle (TB_1, TB_2, TB_N) correspondante, selon lequel, notamment plusieurs et de préférence toutes les sommes de contrôle signées (PS_ls, PS_2s, PS_Ns) associées aux zones partielles (TB_1, TB_2, TB_N) sont signées, notamment à l'aide d'un procédé cryptographique, pour obtenir des sommes de contrôle signées (PS_ls, PS_2s, PS_Ns), et les sommes de contrôle signées (PS_ls, PS_2s, PS_Ns) sont au moins provisoirement enregistrées en mémoire. Procédé selon au moins l'une des revendications précédentes, selon lequel les accès d'écriture à une ou aux zones partielles (TB_1, TB_2, TB_N) sont au moins interdits (112) de temps en temps, notamment avant ou directement. après la formation (110) de la somme de contrôle ou des sommes de contrôle. Procédé selon l'une des revendications précédentes, selon lequel a) la somme de contrôle est une somme de contrôle cryptographique, notamment une somme de contrôle cryptographique de type SHA-256 ou SHA-512, et/ou b) il consiste à signer (120) en utilisant au moins l'un des procédés 21 [Revendication 5] [Revendication 6] [Revendication 7] suivants : A) Algorithme RSA notamment selon ISO/IEC 14888-2 :2008, B) Algorithme DSA notamment selon NIST : FIPS Publication 186-3 : C) Algorithme DSA- fondé sur des courbes elliptiques. Procédé selon l'une des revendications précédentes, consistant en outre a: - fournir (140) une mémoire intermédiaire (CAL CA2, CCC, CAN) pour au moins une zone partielle (TB 1, TB 2, ..., TB N), - enregistrer au moins provisoirement (150) des accès en écriture à aux moins une zone partielle (TB 1, TB 2, ..., TB N) à l'aide de la mémoire intermédiaire (CAL CA2, CCC, CAN). Procédé selon la revendication 5, selon lequel les accès en lecture (160) aux données enregistrées dans au moins une zone partielle (TB 1, TB 2, ..., TB N) sont effectuées par la lecture de données correspondantes d'au moins une zone partielle (TB 1, TB 2, ..., TB N) ou par la lecture de données correspondantes dans la mémoire intermédiaire (CAL CA2, CCC, CAN) associée à au moins une zone partielle OS 1, TB 2, ..., TB N). Procédé selon l'une des revendications précédentes consistant en outre à [Revendication 8] [Revendication 9] - former (170) une somme de contrôle (PS'il) secondaire caractérisant le contenu actuel de données d'au moins une zone partielle (TB_1), - exploiter (180) la somme de contrôle secondaire (PSI1)1 en fonction d'au moins une somme de contrôle (PS_is) signée, enregistrée en mémoire au moins provisoirement. Procédé selon la revendication 7, liée à au moins l'une des revendications 5 à 6, selon lequel l'exploitation (180) consiste à : - comparer (182) la somme de contrôle secondaire (PSI1) à la somme de contrôle signée (PS_ls), enregistrée provisoirement en mémoire d'au moins une zone partielle (TB_1), - transmettre (184) le contenu de la mémoire intermédiaire (CA1) dans au moins une zone partielle (TB_1) et en option, - libérer (186) des accès en écriture à au moins une zone partielle (TB_1). Procédé selon au moins l'une des revendications 7 et 8, selon lequel on exécute les étapes consistant à : [Revendication 10] - former (170) et exploiter (180) plusieurs zones partielles (TB 1, TB 2, ..., TB N), et [Revendication 11] - notamment exécuter les étapes de formation (170) et d'exploitation (180) de plusieurs zones partielles (TB 1, TB 2 TB N) indé- pendamment les unes des autres. Dispositif (200) pour traiter des données enregistrées dans une installation de mémoire (204), le dispositif (200) comportant des moyens pour exécuter le procédé selon au moins l'une des revendications précédentes - des moyens pour passer (z12) d'un premier état de fonctionnement actif (Z1) dans un second état de fonctionnement (Z2), d'économie d'énergie - des moyens pour, avant le passage (z12) du premier état de fonctionnement (Z1) au second état de fonctionnement (Z2) : - diviser (110) une plage de mémoire (SB) de l'installation de mémoire (204) en plusieurs zones partielles (TB 1, TB 2, ..., TB N) pour au moins l'une des plusieurs zones partielles, - former (110) une somme de contrôle (PS 1) caractérisant le contenu de données d'au moins une zone partielle (TB 1), - signer (120) la somme de contrôle (PS) notamment par un procédé cryptographique de façon à obtenir une somme de contrôle signée (PS_ls), - enregistrer au moins provisoirement (130) la somme de contrôle signée (PS_ls). Dispositif (200) selon la revendication 10, le dispositif (200) étant réalisé pour : - à partir du second état de fonctionnement (Z2) passer (z21) dans le premier état de fonctionnement (Z1), - le dispositif (200) étant développé pour effectuer avant le passage (z21) du second état de fonctionnement (Z2) dans le premier état de fonctionnement (Z1) les étapes suivantes consistant à : - fournir (140) une mémoire intermédiaire (CAI, CA2, ..., CAN) pour au moins une zone partielle (TB_1, TB_2, TB_N), - enregistrer au moins provisoirement (150) des accès d'écriture à au moins une zone partielle (TB_1, TB_2, TB_N) à l'aide de la mémoire intermédiaire (CA I, CA2, ..., CAN), notamment les accès en lecture (160) étant effectués sur les données enregistrées dans au moins une zone partielle (TB_1, TB_2, TB_N) par la lecture de données 23 [Revendication 12] [Revendication 13] [Revendication 14] [Revendication 15] correspondantes d'au moins une zone partielle (TB 1, TB 2, ..., TB N) ou par la lecture de données correspondantes dans au moins une mémoire intermédiaire (CAL CA2, ..., CAN) associée à au moins une zone partielle (TB 1, TB 2, ..., TB N), - former (170) une somme de contrôle secondaire (PS' 1) caractérisant le contenu actuel des données d'au moins une zone partielle, - exploiter (180) la somme de contrôle secondaire (PS' 1) en fonction d'au moins une somme de contrôle signée (PS 1s), enregistrer au moins provisoirement. Support d'enregistrement lisible par un ordinateur (SM) sur lequel est enregistré un programme d'ordinateur comportant des instructions de code de programme pour l'exécution des étapes du procédé selon au moins l'une des revendications 1 à 9. Programme d'ordinateur (PRO) comprenant des instructions de code de programme pour l'exécution du procédé selon au moins l'une des revendications 1 à 9 lorsque le procédé est exécuté sur un ordinateur (202). Signal support de données (DS) qui transmet le programme d'ordinateur (PRO) selon la revendication 13. Application du procédé selon au moins l'une des revendications 1 à 9 ou/et du dispositif (200) selon au moins l'une des revendications 10 à 11 et/ou du programme d'ordinateur (PRO) selon la revendication 13 pour vérifier au moins une zone partielle de la zone de mémoire (204) concernant les variations et les manipulations, notamment par ou pendant ou après le changement d'un premier état de fonctionnement (Z1) dans un second état de fonctionnement (Z2).