Procédé de traitement de l’exécution d’une fonction d’une applet par un dispositif électronique comprenant : - une réception (RX_EXEC) d’une demande d’exécution de la fonction, - une vérification (VERIF_TYPE) d’un type associé à la fonction, - si le type de la fonction est un type donné, on détermine (DET_INFO) des informations relatives aux arguments traités et/ou aux données délivrées par la fonction, - on observe (OBS) le déroulement de la fonction et si la fonction traite des données en désaccord avec les informations relatives aux arguments traités et/ou aux données délivrées par la fonction, on met en œuvre un traitement de sécurité (T_SEC). Procédé selon la revendication 1, dans lequel le type donné est une fonction qui s’exécute directement sur le processeur du dispositif électronique en dehors d’une machine virtuelle qui exécute l’applet. Procédé selon la revendication 2, dans lequel le type donné est une fonction native et la machine virtuelle est une machine virtuelle Java Card. Procédé selon l’une quelconque des revendications 1 à 3, dans lequel les informations relatives aux arguments traités et/ou aux données délivrées par la fonction comprennent le type et/ou le nombre des arguments traités par la fonction. Procédé selon l’une quelconque des revendications 1 à 4, dans lequel les informations relatives aux arguments traités par la fonction comprennent le type et/ou le nombre des données délivrées par la fonction. Procédé selon l’une quelconque des revendications 1 à 5, dans lequel on met en œuvre les étapes de vérification du type, de détermination des informations relatives aux arguments traités et/ou aux données délivrées par la fonction, et d’observation à chaque réception d’une demande d’exécution de la fonction. Procédé de chargement d’une applet dans un dispositif électronique comprenant : - une détection (DET_FCT) dans l’applet d’une fonction ayant un type donné, - une détermination (DET_ARG_D) des arguments traités et/ou des données délivrées par la fonction, - une élaboration (ELA_INFO) d’informations relatives aux arguments traités et/ou aux données délivrées par la fonction, - un ajout (ADD_INFO) dans l’applet des informations relatives aux arguments traités et/ou aux données délivrées par la fonction pour obtenir une applet modifiée, - un chargement (LOAD_APP) de l’applet modifiée dans le dispositif électronique. Procédé selon la revendication 7, dans lequel le type donné est une fonction qui s’exécute directement sur le processeur du dispositif électronique en dehors d’une machine virtuelle. Procédé selon la revendication 8, dans lequel le type donné est une fonction native et la machine virtuelle est une machine virtuelle Java Card. Procédé selon l’une quelconque des revendications 7 à 9, dans lequel l’applet modifiée est une applet convertie Java Card. Procédé selon l’une quelconque des revendications 7 à 10, dans lequel les informations relatives aux arguments traités et/ou aux données délivrées par la fonction comprennent le type et/ou le nombre des arguments traités par la fonction. Procédé selon l’une quelconque des revendications 7 à 11, dans lequel les informations relatives aux arguments traités par la fonction comprennent le type et/ou le nombre des données délivrées par la fonction. Dispositif électronique apte à exécuter une fonction d’une applet comprenant : - un module de réception (101, 104) d’une demande d’exécution de la fonction, - un module de vérification (101, 105) d’un type associé à la fonction, - un module de détermination (101, 106), si le type de la fonction est un type donné, d’informations relatives aux arguments traités et/ou aux données délivrées par la fonction, - un module d’observation (101, 107) du déroulement de la fonction et si la fonction traite des données en désaccord avec les informations relatives aux arguments traités et/ou aux données délivrées par la fonction, un module de traitement de sécurité (101, 108) du dispositif met en œuvre un traitement de sécurité. Dispositif de chargement d’une applet dans un dispositif électronique comprenant : - un module de détection (201, 203) dans l’applet d’une fonction ayant un type donné, - un module de détermination (201, 204) des arguments traités et/ou des données délivrées par la fonction, - un module d’élaboration (201, 205) d’informations relatives aux arguments traités et/ou aux données délivrées par la fonction, - un module d’ajout (201, 206) dans l’applet des informations relatives aux arguments traités et/ou aux données délivrées par la fonction pour obtenir une applet modifiée, - un module de chargement (201, 207) de l’applet modifiée dans le dispositif électronique. Programme d’ordinateur comportant des instructions pour l’exécution des étapes d’un procédé de traitement selon l’une quelconque des revendications 1 à 6, lorsque ledit programme est exécuté par un ordinateur. Support d’enregistrement lisible par un ordinateur sur lequel est enregistré un programme d’ordinateur comprenant des instructions pour l’exécution des étapes d’un procédé de traitement selon l’une quelconque des revendications 1 à 6. Programme d’ordinateur comportant des instructions pour l’exécution des étapes d’un procédé de chargement selon l’une quelconque des revendications 7 à 12, lorsque ledit programme est exécuté par un ordinateur. Support d’enregistrement lisible par un ordinateur sur lequel est enregistré un programme d’ordinateur comprenant des instructions pour l’exécution des étapes d’un procédé de chargement selon l’une quelconque des revendications 7 à 12.