公开(公告)号：FR2864658B1

公开(公告)日：2006-02-24

申请号：FR0315545

申请日：2003-12-30

Applicant: TRUSTED LOGIC

Inventor： LEROY XAVIER ,  HAMEAU PATRICE ,  REGNAULT NICOLAS ,  MARLET RENAUD

IPC: G06F12/14 ,  G06F21/54 ,  G06F21/62

Abstract: The process involves facilitating a computer system to store a set of references to a program, obtained by a licit unit. The system is allowed to verify whether reference values in the program are the stored valid references, before performing any reading or writing operation related to the values. The operation is prevented from execution when the values are not the valid references, else the operation is executed.

公开(公告)号：FR2872933A1

公开(公告)日：2006-01-13

申请号：FR0407496

申请日：2004-07-06

Applicant: TRUSTED LOGIC SA

Inventor： BLANCHET JEAN BERNARD ,  FREY ALEXANDRE

IPC: G06F9/50 ,  G06F9/46 ,  G06F9/48 ,  G06F12/14

Abstract: Le procédé de partage de temps d'exécution d'un processeur (1) physique entre au moins deux logiciels, ledit processeur comportant un mode d'exécution particulier, dit mode sécurisé, ayant un accès exclusif sur certaines ressources (3, 8, 9), etun premier logiciel, dit de sécurité, étant exécuté exclusivement dans le mode d'exécution sécurisé, etun second logiciel, dit non sûr, étant exécuté dans un mode d'exécution autre que le mode d'exécution sécurisé,est caractérisé en ce qu'il comprend les étapes suivantes :a) on définit un cycle périodique et régulier d'exécution des logiciels par le processeur,b) on découpe ce cycle en deux parties, l'une pour l'exécution du logiciel de sécurité, et l'autre pour l'exécution du logiciel non sûr.

公开(公告)号：FR2864651A1

公开(公告)日：2005-07-01

申请号：FR0315488

申请日：2003-12-24

Applicant: TRUSTED LOGIC

Inventor： FREY ALEXANDRE ,  PHAN GUILLAUME

IPC: G06F11/36 ,  G06F9/455

Abstract: The process involves automatically modifying programs by inserting additional actions intended to simulate a Java card environment. Services i.e. functional libraries, proposed by the Java card environment and necessary for the execution of the programs are added to a Java environment. The modification allows change of the format of the programs to render compatible with the format of execution of the Java environment.

公开(公告)号：FR2849229B1

公开(公告)日：2005-02-25

申请号：FR0216253

申请日：2002-12-18

Applicant: TRUSTED LOGIC

Inventor： MARLET RENAUD ,  TIGNOL PHILIPPE

IPC: G06F9/312 ,  G06F9/445 ,  G06F9/45 ,  G06F11/36 ,  G06F12/02

公开(公告)号：FR2849229A1

公开(公告)日：2004-06-25

申请号：FR0216253

申请日：2002-12-18

Applicant: TRUSTED LOGIC

Inventor： MARLET RENAUD ,  TIGNOL PHILIPPE

IPC: G06F9/312 ,  G06F9/445 ,  G06F9/45 ,  G06F11/36 ,  G06F12/02

Abstract: Dynamic code suppression method has the following steps: determination of fragments of a program that could be suppressed under certain conditions without modifying the semantics; instrumentation of the program to mark program segments and the conditions under which they could be suppressed; possible conversion of a program to increase the available memory by suppressing the suppressible fragments; structuring of memory to enable reuse of the corresponding liberated memory.

公开(公告)号：DE60006141D1

公开(公告)日：2003-11-27

申请号：DE60006141

申请日：2000-08-21

Applicant: TRUSTED LOGIC VERSAILLES

Inventor： LEROY XAVIER

IPC: G06F9/54 ,  G06F9/44 ,  G06F9/445 ,  G06F9/45

Abstract: A method and system for transforming and verifying downloaded programs fragments with data type restriction in an embedded system in which a program fragment being temporarily stored a verification process of the stored program fragment object code is executed instruction by instruction so as to discriminate for each instruction the existence of a target, a branching instruction target, a target of an exception handler call or a target of a subroutine call. On the occurrence of a target of a branching instruction as the current instruction, the empty status of the stack is verified and the program fragment is rejected otherwise. A verification process and updating of the effect of the current instruction on the data types of the type stack and the table of register types is performed. The verification process is successfully executed instruction by instruction until the table of register types is stable, with no modification being present, and interrupted with the program fragment being rejected otherwise.

公开(公告)号：FR2835671A1

公开(公告)日：2003-08-08

申请号：FR0201435

申请日：2002-02-01

Applicant: TRUSTED LOGIC

Inventor： VITILLARD ERIC

IPC: H04L29/06 ,  H04L9/32 ,  H04L12/28

Abstract: In order to secure messages that are exchanged in a data transmission network between a server (1) and a client (2), a control device that is decentralized or represents the authority (3) is permanently inserted into the network between the server (1) and the user (2) during the secured exchange of messages. Said representative of the authority (3) translates the transmitted messages and carries out the message verifications that have been decided by the authority. Said representative of the authority (3) can be a specific microprocessor card, for example, which is permanently inserted between the server (1) and the client (2), whereby the authority does not need to be directly involved in the transactions and no permanent connection with the authority is required.

公开(公告)号：CA2382003A1

公开(公告)日：2001-03-01

申请号：CA2382003

申请日：2000-08-21

Applicant: TRUSTED LOGIC

Inventor： LEROY XAVIER

IPC: G06F9/54 ,  G06F9/44 ,  G06F9/445 ,  G06F9/45

Abstract: L'invention concerne un protocole de gestion et un procédé de vérification d'un fragment de programme, ou appliquette, téléchargé sur un système embarqué. Une commande de téléchargement (100a, 100b) de l'appliquette est effectuée. Sur réponse positive, le code objet de l'appliquette est lu (101) et soumis (102) à une vérification instruction par instruction. La vérification consiste en une étape d'initialisation de la pile des types et du tableau des types de registres représentant l'état de la machine virtuelle d u système embarqué au début de l'exécution du code de l'appliquette et en une vérification, instruction par instruction pour chaque instruction courante cible, de l'existence d'une cible d'instruction de branchement, d'appel d'un gestionnaire d'exceptions ou d'un appel de sous-routine, et par une vérification et une actualisation de l'effet de cette instruction sur la pil e des types et le tableau des types de registres. Sur vérification réussie (103a), l'appliquette est enregistrée (104) et un accusé de réception est envoyé (105) au lecteur de téléchargement. L'appliquette est détruite (106) sinon. Application aux systèmes embarqués en environnement Java.

公开(公告)号：WO2013045647A1

公开(公告)日：2013-04-04

申请号：PCT/EP2012/069240

申请日：2012-09-28

Applicant: GEMALTO SA ,  TRUSTED LOGIC ,  BERNABEU, Gil ,  VETILLARD, Eric

Inventor： BERNABEU, Gil ,  VETILLARD, Eric

IPC: G06F9/445 ,  G06F9/44

CPC classification number: G06F9/445 ,  G06F9/4493

Abstract: The invention relates to a method for processing application data. A first device stores data relating to at least one application. According to the invention,the method comprises the following step. The first device deletes at least stored executable data relating to at least one application. The invention also relates to a corresponding first device.

Abstract translation: 本发明涉及一种处理应用数据的方法。 第一设备存储与至少一个应用有关的数据。 根据本发明，该方法包括以下步骤。 第一设备至少删除存储与至少一个应用有关的可执行数据。 本发明还涉及相应的第一装置。

公开(公告)号：WO2012152407A1

公开(公告)日：2012-11-15

申请号：PCT/EP2012/001890

申请日：2012-05-03

Applicant: TRUSTED LOGIC MOBILITY ,  PONSINI, Nicolas

Inventor： PONSINI, Nicolas

IPC: H04W52/02

CPC classification number: H04W52/0274 ,  H04M2250/04 ,  Y02D70/00 ,  Y02D70/144 ,  Y02D70/166

Abstract: A mobile station includes a radio section which communicates with a base station, and a short-range radio section for performing short range radio communication independently of the radio section. A backlight mounted on a display portion of the mobile station can be selectively turned on and off. The operation of the short-range radio section is disabled when the backlight is deactivated, and the operation of the short-range radio section is enabled when the backlight is activated.

Abstract translation: 移动站包括与基站进行通信的无线电部分和用于独立于无线电部分执行短距离无线电通信的短程无线电部分。 可以选择性地打开和关闭安装在移动台的显示部分上的背光。 当背光被禁用时，短距离无线电部分的操作被禁用，当背光被激活时，短距离无线电部分的操作被使能。