| 摘要 |
L'invention concerne un procédé de sécurisation de l'exécution d'un programme par un processeur, le programme comprenant une instruction de comparaison (S1) de deux données (D1, D2), suivie d'une opération du programme (SI2) sélectionnée en fonction d'un résultat de comparaison fourni par l'instruction de comparaison, le procédé comprenant des étapes consistant à : avant l'exécution de l'instruction de comparaison, calculer de différentes manières des données de comparaison représentatives de l'égalité des données à comparer, après l'exécution de l'instruction de comparaison, vérifier si les données de comparaison calculées sont cohérentes avec le fait que l'opération soit sélectionnée ou non sélectionnée, et activer un signal d'erreur (ER) si les données de comparaison sont incohérentes entre elles ou avec le résultat de la comparaison. |
