Brevet FR3069670A1 (20190201)

REVENDICATIONS1) Procédé de vérification d'exécution d'applets (AA1, AB1) développées en langage orienté objet et compilées en code intermédiaire, le procédé étant implémenté par un pare-feu logiciel (FW) d'un système d'exploitation installé dans un composant électronique (iUICC) ou sur une carte électronique (eUICC), le système d'exploitation comportant un interpréteur (JCVM) qui est un logiciel interprétant et exécutant le code intermédiaire des applets (AA1, AB1), chaque applet (AA1, AB1) étant associée à un unique contexte (CA1, CB1, JB), chaque contexte (CA1, CB1, JB) étant associé à une ou plusieurs applets, caractérisé en ce que chaque contexte (CA1, CB1, JB) est associé à un unique profil d'utilisation (PA, PB) parmi plusieurs profils d'utilisation, chaque profil d'utilisation (PA, PB) est associé à un ou plusieurs contextes (CA1, CB1, JB), et en ce que, lorsque le pare-feu logiciel (FW) est informé par l'interpréteur (JCVM) d'un accès depuis une première applet (AB1) vers une seconde applet (AB3, AA1), le pare-feu logiciel (FW) effectue les étapes suivantes : - déterminer (502,\n<CLM>\1\tun profil source de l'accès, qui est le profil associé au contexte auquel est associée la première applet (AB1) ; - déterminer (503,\n<CLM>\1\tun profil destinataire de l'accès, qui est le profil associé au contexte auquel est associée la seconde applet (AB3, AA1) ; - vérifier (504,\n<CLM>\1\tsi le profil source de l'accès est identique au profil destinataire de l'accès ; - lorsque le profil source de l'accès n'est pas identique au profil destinataire de l'accès, refuser (505,\n<CLM>\1\tl'accès ; et - lorsque le profil source de l'accès est identique au profil destinataire de l'accès, appliquer (506,\n<CLM>\1\tdes règles de vérification d'accès entre contextes.\n<CLM>\1\tProcédé selon la revendication 1, caractérisé en ce que l'accès fait référence soit à une donnée statique, soit à une donnée non statique, soit à une méthode.\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 et 2, caractérisé en ce qu'un desdits profils d'utilisation est un profil particulier, appelé profil système (PS), géré distinctement des autres profils d'utilisation (PA, PB) par le pare-feu logiciel (FW), de telle sorte que, lorsque le profil source de l'accès est le profil système (PS), le pare- 17 feu logiciel (FW) applique les règles de vérification d'accès entre contextes, et lorsque le profil destinataire de l'accès est le profil système (PS), le pare-feu logiciel (FW) refuse l'accès. 5\n<CLM>\1\tProcédé selon l'une quelconque des revendications 1 à 3, caractérisé en ce que la carte électronique est une carte à puce.\n<CLM>\1\tProcédé selon la revendication 4, caractérisé en ce que la carte à puce est une carte SIM et en ce que les profils d'utilisation sont respectivement associés à des 10 services de téléphonie d'opérateurs distincts.\n<CLM>\1\tPare-feu logiciel (FW) configure pour effectuer une vérification d'exécution d'applets (AA1, AB1) développées en langage orienté objet et compilées en code intermédiaire, le pare-feu logiciel (FW) destiné à appartenir à un système d'exploitation 15 destiné à être installé dans un composant électronique (iUICC) ou sur une carte électronique (eUICC), le système d'exploitation comportant un interpréteur (JCVM) qui est un logiciel interprétant et exécutant le code intermédiaire des applets (AA1, AB1), chaque applet (AA1, AB1) étant associée à un unique contexte (CA1, CB1, JB), chaque contexte (CA1, CB1, JB) étant associé à une ou plusieurs applets, 20 caractérisé en ce que chaque contexte (CA1, CB1, JB) est associé à un unique profil d'utilisation (PA, PB) parmi plusieurs profils d'utilisation, chaque profil d'utilisation (PA, PB) est associé à un ou plusieurs contextes (CA1, CB1, JB), et en ce que, lorsque le pare-feu logiciel (FW) est informé par l'interpréteur (JCVM) d'un accès depuis une première applet (AB1) vers une seconde applet (AB3, 25 AA1), le pare-feu logiciel (FW) effectue les étapes suivantes : - déterminer (502,\n<CLM>\1\tun profil source de l'accès, qui est le profil associé au contexte auquel est associée la première applet (AB1) ; - déterminer (503,\n<CLM>\1\tun profil destinataire de l'accès, qui est le profil associé au contexte auquel est associée la seconde applet (AB3, AA1) ; 30 - vérifier (504,\n<CLM>\1\tsi le profil source de l'accès est identique au profil destinataire de l'accès ; - lorsque le profil source de l'accès n'est pas identique au profil destinataire de l'accès, refuser (505,\n<CLM>\1\tl'accès ; et 18 - lorsque le profil source de l'accès est identique au profil destinataire de l'accès, appliquer (506,\n<CLM>\1\tdes règles de vérification d'accès entre contextes.\n<CLM>\1\tCarte électronique (eUICC) comportant un système d'exploitation intégrant un 5 pare-feu logiciel (FW), selon la revendication 6, configure pour effectuer une vérification d'exécution d'applets (AA1, AB1) développées en langage orienté objet et compilées en code intermédiaire.\n<CLM>\1\tCarte électronique (eUICC) selon la revendication 7, caractérisée en ce que la 10 carte électronique est une carte à puce.\n<CLM>\1\tCarte électronique (eUICC) selon la revendication 8, caractérisée en ce que la carte à puce est une carte SIM et en ce que les profils d'utilisation sont respectivement associés à des services de téléphonie d'opérateurs distincts.\n<CLM>\1\tComposant électronique (iUICC) comportant un système d'exploitation intégrant un pare-feu logiciel (FW), selon la revendication 6, configure pour effectuer une vérification d'exécution d'applets (AA1, AB1) développées en langage orienté objet et compilées en code intermédiaire. 15 20