Procédé d’identification des risques de cyberattaques sur un automate programmable, le procédé étant implémenté par un dispositif de traitement de données (500) comprenant une unité de traitement (502) et une mémoire (504, 506), le procédé comprenant : - la génération, par le dispositif (500), d’une représentation numérique d’un transducteur fini minimal sur la base d’une spécification d’une logique automate de l’automate programmable, le transducteur fini minimal comprenant un ensemble d’états sources, un ensemble d’états destination et un ensemble de transitions, chaque transition allant d’un état source vers un état destination sur la base d’une valeur de donnée d’entrée ; - la génération et le stockage dans la mémoire d’un deuxième fichier informatique, sur la base d’un premier fichier informatique identifiant un sous-ensemble d’états sensibles parmi l’ensemble d’états, le deuxième fichier comprenant une liste de transitions critiques associées aux états sensibles, et pour chaque transition, une liste des données d’entrée ; et - la génération et le stockage dans la mémoire d’un quatrième fichier informatique, sur la base d’un troisième fichier informatique indiquant la présence ou non d’un risque de corruption sur au moins chaque donnée d’entrée comprise dans le deuxième fichier, le quatrième fichier indiquant, parmi les données d’entrée, des données d’entrée à protéger qui sont à la fois associées à des transitions critiques et à un risque de corruption. Procédé selon la revendication 1, dans lequel la génération du deuxième fichier informatique comprend : - l’identification dans la représentation numérique du transducteur fini minimal, par une unité de traitement du dispositif, de premières transitions allant d’un état source non identifié comme sensible, dans le premier fichier informatique, vers un état destination identifié comme sensible ; et - l’écriture dans le deuxième fichier des premières transitions. Procédé selon la revendication 2, dans lequel la génération du deuxième fichier informatique comprend en outre : - l’identification dans le transducteur fini, par l’unité de traitement, de deuxièmes transitions allant d’un état source identifié comme sensible dans le premier fichier informatique vers un état destination non identifié comme sensible ; et - l’écriture dans le premier fichier des deuxièmes transitions. Procédé selon la revendication 2 ou 3, dans lequel la génération du deuxième fichier informatique comprend en outre : - pour chaque première transition, l’identification, par l’unité de traitement du dispositif, dans la représentation numérique du transducteur fini minimal, de premières données d’entrée dont un blocage de la valeur inhibe la transition vers l’état de destination associé ; et - l’écriture dans le deuxième fichier, des premières données d'entrée. Procédé selon la revendication 4 dans sa dépendance à la revendication 3, dans lequel la génération du deuxième fichier informatique comprend en outre : - pour chaque deuxième transition, l’identification dans la représentation numérique du transducteur fini minimal, de deuxièmes données d’entrée dont la modification de la valeur, dans l’état source associé, entraîne ladite deuxième transition. Procédé selon l’une quelconque des revendications 1 à 5, dans lequel le risque identifié associé à un élément du deuxième fichier, dans le troisième fichier, prend la forme d’une valeur d’indication codée sur au moins 2 bits. Procédé selon la revendication 6, dans lequel la valeur d’un bit de la valeur d’indication indique si un blocage de la valeur de la donnée d’entrée inhibe une transition parmi les premières transitions et la valeur d’un autre bit de la valeur d’indication indique si une modification de la valeur de la donnée d’entrée entraine une transition parmi les deuxièmes transitions. Procédé selon la revendication 7, dans lequel le bit le moins significatif de la valeur indique si un blocage de la valeur de la donnée d’entrée inhibe une transition parmi les premières transitions et le bit le plus significatif indique si une modification de la valeur de la donnée d’entrée entraine une transition parmi les deuxièmes transitions. Procédé selon la revendication 1 à 8, comprenant en outre une analyse de risques, l’analyse comprenant, pour chaque élément du quatrième fichier informatique : - l’identification, par l’unité de traitement (502), d’un événement redouté ayant lieu en cas d’attaque sur l’élément ; - le calcul, par l’unité de traitement (502), d’une probabilité d’occurrence de l’événement ; - la détermination, par l’unité de traitement (502), d’un niveau du risque sur la base d’une valeur de gravité et de la probabilité. Procédé selon la revendication 9, dans lequel, la probabilité d’un événement redouté est égale à l’inverse du nombre d’éléments du quatrième fichier pour lesquels l’événement redouté est identifié. Procédé selon la revendication 9 ou 10, dans lequel le niveau de risque d’un événement redouté est égal au produit de la probabilité de l’événement et de sa valeur de gravité. Mémoire non transitoire (504, 506) configurée pour stocker des instructions configurées pour mettre en œuvre le procédé d’identification des risques de cyberattaques de l’une quelconque des revendications 1 à 11 lorsqu’elles sont exécutées par une unité de traitement. Dispositif de traitement de données (500) comprenant une unité de traitement (502) et une mémoire (504, 506), le dispositif étant configuré pour mettre en œuvre le procédé d’identification des risques de cyberattaques de l’une quelconque des revendications 1 à 11.