中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

216 records (took 0.021 seconds)

    PROCEDE D'AUTHENTIFICATION D'APPLICATIONS D'UN SYSTEME INFORMATIQUE
    41.
    发明专利
    PROCEDE D'AUTHENTIFICATION D'APPLICATIONS D'UN SYSTEME INFORMATIQUE 未知

    公开(公告)号：FR2895545A1

    公开(公告)日：2007-06-29

    申请号：FR0513247

    申请日：2005-12-23

    Applicant: TRUSTED LOGIC SA

    Inventor： FREY ALEXANDRE ,  APVRILLE AXELLE

    IPC: G06F21/51 ,  G06F21/62

    Abstract: Le procédé selon l'invention concerne l'authentification d'application d'un système informatique comportant un microprocesseur, une pluralité d'applications ; un système d'exploitation généraliste (OS2), apte à exécuter et à gérer lesdites applications, ainsi qu'à associer à chaque identifiant d'application (3) les Informations d'Identification nécessaires à son exécution ; et un Environnement de Confiance (EC) offrant des services à ces applications. Préalablement à tout accès aux services de l'Environnement de Confiance (EC) par une application, ce procédé exécute une opération de "hashage" sur les Informations d'Identification de cette application et l'Environnement de Confiance (EC) vérifie l'authenticité du résultat du "hashage".

    PROCEDE POUR L'ADAPTATION AUTOMATIQUE DE PROGRAMMES A DES EXIGENCES OPERATIONNELLES
    43.
    发明专利
    PROCEDE POUR L'ADAPTATION AUTOMATIQUE DE PROGRAMMES A DES EXIGENCES OPERATIONNELLES 未知

    公开(公告)号：FR2879776A1

    公开(公告)日：2006-06-23

    申请号：FR0413766

    申请日：2004-12-22

    Applicant: TRUSTED LOGIC SA

    Inventor： VETILLARD ERIC ,  DELPLANCKE JULIEN

    IPC: G06F9/44

    Abstract: Le procédé selon l'invention permet d'adapter automatiquement un programme à des exigences opérationnelles. Il comprend une analyse statique du code source ou binaire du programme pour en extraire les caractéristiques servant à établir lesdites exigences, la dérivation d'un modèle opérationnel à partir desdites exigences et desdites caractéristiques, la génération, à partir de ce modèle, de code source ou binaire permettant de mettre en oeuvre lesdites exigences et l'intégration du code source ou binaire généré dans le programme initial.

    46.
    发明专利
    未知

    公开(公告)号：ES2209969T3

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

    申请号：ES00958714

    申请日：2000-08-21

    Applicant: TRUSTED LOGIC

    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.

    DISPOSITIF DE COMPILATION, PROCEDE DE COMPILATION ET COMPILATEUR
    48.
    发明专利
    DISPOSITIF DE COMPILATION, PROCEDE DE COMPILATION ET COMPILATEUR 未知

    公开(公告)号：FR2947648A1

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

    申请号：FR0954549

    申请日：2009-07-02

    Applicant: TRUSTED LOGIC

    Inventor： MESNIL CEDRIC ,  BOUVERON DOMINIQUE ,  LEPAVEC EMMANUEL ,  LEMAITRE BENOIT

    IPC: G06F9/30

    Abstract: Le dispositif comprend des moyens (120) destinés à détecter si l'appel (114 ; 306) est de premier type ou bien de second type, des premiers moyens de remplacement destinés, en cas de détection d'un appel (112) de premier type, à remplacer l'appel (112) du code source en une référence (140), de premier type, dans le code compilé, la référence de premier type étant une référence indirecte au code compilé de l'entité (M1), par une table (130), des moyens d'écriture dans une liste destinés, en cas de détection d'un appel (112) de premier type, à écrire l'adresse de la référence de premier type dans la liste, et des seconds moyens de remplacement destinés, en cas de détection d'un appel (114 ; 306) de second type, à remplacer, l'appel (114 ; 306) du code source en une référence, dite de second type (142), dans le code compilé, la référence de second type (142) étant : soit une référence directe (142), soit une référence indirecte, dans laquelle est enregistrée une adresse, hors de la table (130), d'une autre référence au code compilé de l'entité (M2).

Patent Agency Ranking