Recherche dans les collections de brevets nationales et internationales

1. (WO2018108275) VÉRIFICATION D'INTÉGRITÉ DE LOGICIEL

Pub. No.:    WO/2018/108275    International Application No.:    PCT/EP2016/081164
Publication Date: Fri Jun 22 01:59:59 CEST 2018 International Filing Date: Fri Dec 16 00:59:59 CET 2016
IPC: G06F 21/51
G06F 21/64
G06F 21/54
Applicants: IRDETO B.V.
Inventors: GU, Yuan Xiang
JOHNSON, Harold
Title: VÉRIFICATION D'INTÉGRITÉ DE LOGICIEL
Abstract:
L’invention concerne un procédé qui, pendant l'exécution d'un élément de logiciel qui comprend une ou plusieurs parties de code et de code de vérification, comprend les étapes suivantes : la génération, par le code de vérification, de données de vérification à l'aide (a) des données d'exécution générées par la ou les parties de code et (b) d'un ou de plusieurs paramètres prédéterminés, les données de vérification représentant un élément d'un premier ensemble prédéterminé d'éléments de données ; et la fourniture des données de vérification à un vérificateur d'intégrité agencé pour (i) identifier qu'une modification se rapportant au code de vérification n'a pas eu lieu si les données de vérification représentent un élément d'un second ensemble prédéterminé d'éléments de données, le second ensemble étant un sous-ensemble du premier ensemble, et (ii) identifier qu'une modification se rapportant au code de vérification s'est produite si les données de vérification ne représentent pas un élément du second ensemble. Il est possible de déterminer par calcul un élément du second ensemble sans connaître le ou les paramètres ou données prédéterminés liés au ou aux paramètres prédéterminés ; et, en l'absence d'une modification se rapportant au code de vérification, l'utilisation du ou des paramètres prédéterminés par le code de vérification garantit que les données de vérification représentent un élément du second ensemble et l'utilisation des données d'exécution par le code de vérification commande quel élément du second ensemble est représenté par les données de vérification générées.