Procédé et dispositif d’identification des risques de cyberattaques La présente description concerne un procédé d’identification des risques de cyberattaques sur un automate programmable, le procédé comprenant :- la génération 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 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 d’un deuxième fichier informatique, sur la base d’un premier fichier informatique identifiant un sous-ensemble d’états sensibles, 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 d’un quatrième fichier informatique indiquant des données d’entrée à protéger qui sont à la fois associées à des transitions critiques et à un risque de corruption.