FR2849230A1 - Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement - Google Patents

Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement Download PDF

Info

Publication number
FR2849230A1
FR2849230A1 FR0216652A FR0216652A FR2849230A1 FR 2849230 A1 FR2849230 A1 FR 2849230A1 FR 0216652 A FR0216652 A FR 0216652A FR 0216652 A FR0216652 A FR 0216652A FR 2849230 A1 FR2849230 A1 FR 2849230A1
Authority
FR
France
Prior art keywords
software application
execution
host terminal
control instructions
certificate
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
FR0216652A
Other languages
English (en)
Other versions
FR2849230B1 (fr
Inventor
Francois Bangui
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Individual
Original Assignee
Individual
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority to FR0216652A priority Critical patent/FR2849230B1/fr
Application filed by Individual filed Critical Individual
Priority to US10/539,566 priority patent/US7739514B2/en
Priority to PCT/FR2003/003877 priority patent/WO2004059450A1/fr
Priority to CA002510602A priority patent/CA2510602A1/fr
Priority to AU2003299401A priority patent/AU2003299401A1/en
Priority to EP03799695A priority patent/EP1576444A1/fr
Priority to CN200380107152.1A priority patent/CN100520670C/zh
Publication of FR2849230A1 publication Critical patent/FR2849230A1/fr
Application granted granted Critical
Publication of FR2849230B1 publication Critical patent/FR2849230B1/fr
Priority to HK06103351.1A priority patent/HK1083545A1/xx
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F7/00—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus
    • G07F7/08—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means
    • G07F7/10—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means together with a coded signal, e.g. in the form of personal identification information, like personal identification number [PIN] or biometric data
    • G07F7/1008—Active credit-cards provided with means to personalise their use, e.g. with PIN-introduction/comparison system
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
    • G06F21/109—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM] by using specially-adapted hardware at the client
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
    • G06F21/12—Protecting executable software
    • G06F21/121—Restricting unauthorised execution of programs
    • G06F21/123—Restricting unauthorised execution of programs by using dedicated hardware, e.g. dongles, smart cards, cryptographic processors, global positioning systems [GPS] devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
    • G06F21/12—Protecting executable software
    • G06F21/121—Restricting unauthorised execution of programs
    • G06F21/125—Restricting unauthorised execution of programs by manipulating the program code, e.g. source code, compiled code, interpreted code, machine code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/54—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by adding security routines or objects to programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
    • G06F21/71—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information
    • G06F21/72—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information in cryptographic circuits
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
    • G06F21/71—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information
    • G06F21/77—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information in smart cards
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/30—Payment architectures, schemes or protocols characterised by the use of specific devices or networks
    • G06Q20/34—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using cards, e.g. integrated circuit [IC] cards or magnetic cards
    • G06Q20/341—Active cards, i.e. cards including their own processing means, e.g. including an IC or chip
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F7/00—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus
    • G07F7/08—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F7/00—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus
    • G07F7/08—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means
    • G07F7/0806—Details of the card
    • G07F7/0813—Specific details related to card security
    • G07F7/082—Features insuring the integrity of the data on or in the card
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F7/00—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus
    • G07F7/08—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means
    • G07F7/12—Card verification
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/12—Applying verification of the received information
    • H04L63/123—Applying verification of the received information received data contents, e.g. message integrity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
    • G06F2221/033—Test or assess software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/21—Indexing scheme relating to G06F21/00 and subgroups addressing additional information or applications relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/2153—Using hardware token as a secondary aspect
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/08—Network architectures or network communication protocols for network security for authentication of entities
    • H04L63/0823—Network architectures or network communication protocols for network security for authentication of entities using certificates

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • Technology Law (AREA)
  • Multimedia (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Mathematical Physics (AREA)
  • Business, Economics & Management (AREA)
  • Computing Systems (AREA)
  • Remote Sensing (AREA)
  • Signal Processing (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Radar, Positioning & Navigation (AREA)
  • Accounting & Taxation (AREA)
  • Strategic Management (AREA)
  • General Business, Economics & Management (AREA)
  • Storage Device Security (AREA)

Abstract

Le procédé de vérification de l'intégrité d'une application logicielle exécutable dans un terminal hôte, comprend les étapes suivantes :i). déterminer au moins une suite d'instructions de contrôle formant certificat exécutable (4,15)pour l'application logicielle, exécutable par ledit terminal hôte au cours de l'exécution de l'application logicielle à vérifier (1,11),ii).sur le terminal hôte, exécuter l'application logicielle à vérifier (1,11), recevoir le certificat exécutable (4,15) ainsi déterminé lors de l'étape i) et exécuter la suite d'instructions de contrôle dudit certificat exécutable dans le contexte mémoire dudit terminal hôte,iii).comparer le résultat ainsi obtenu par l'exécution des instructions de contrôle avec le résultat attendu d'une application logicielle authentique et,iv).en cas de comparaison positive, continuer le cours de l'exécution de l'application logicielle à vérifier (1,11).

Description

La présente invention concerne la vérification de l'authenticité d'une
application logicielle exécutée sur un terminal hôte sans nécessairement faire appel à des
clés de chiffrement/déchiffrement.
Elle trouve une application générale dans l'authentification d'applications logicielles et plus particulièrement les applications logicielles destinées à être exécutées sur un dispositif de traitement de données, notamment un terminal hôte tel qu'un décodeur de télévision numérique, un équipement de visualisation de contenus multimédia, un micro-ordinateur, une carte à puce, 10 un assistant personnel, une console de jeux, un téléphone mobile ou analogue.
On connaît déjà des moyens d'authentification permettant de vérifier l'authenticité ou l'intégrité d'applications logicielles embarquées et exécutées sur des terminaux hôtes G 6 néralement, de tels moyens d'authentification mettent en oeuvre des fonctions de hachage et/ou des algorithmes cryptographiques qui utilisent des données secrètes telles que des clés privées ou secrètes de chiffrement/déchiffrement cachées dans le logiciel de vérification du terminal hôte Le plus souvent, ces données secrètes sont protégées par des techniques d'offuscation destinées à rendre plus difficile la rétro20 conception.
En pratique, de tels moyens d'authentification embarqués dans les terminaux hôtes sont tout aussi vulnérables que les applications logicielles dont ils sont sensés contrôler l'authenticité En effet, un pirate averti peut opérer des 25 modifications malveillantes sur ces moyens d'authentification, afin, par exemple, de récupérer les données secrètes, leurrer le système de vérification ou lui faire produire, malgré lui, les résultats attendus.
La présente invention remédie à cet inconvénient.
Elle porte sur un procédé de vérification de l'intégrité d'une application logicielle exécutable dans un terminal hôte.
Selon une définition générale de l'invention, le procédé comprend les étapes suivantes: i) déterminer au moins une suite d'instructions de contrôle formant certificat exécutable pour ladite application logicielle, ii) sur le terminal hôte, exécuter l'application logicielle à vérifier, recevoir le certificat exécutable ainsi déterminé lors de l'étape i), et exécuter la suite d'instructions de contrôle dudit certificat exécutable dans le contexte mémoire dudit terminal hôte, iii) comparer le résultat ainsi obtenu par l'exécution des instructions de contrôle 10 avec le résultat attendu d'une application authentique et, iv) en cas de comparaison positive, continuer l'exécution de l'application logicielle à vérifier.
On entend ici par le terme " comparaison positive " le fait que toute action, opération, ou modification sur les données utilisées par l'application logicielle à 15 vérifier ou toute action, opération ou modification sur le déroulement de l'exécution de l'application logicielle à vérifier produise un comportement de l'application logicielle à vérifier identique à celui qui est attendu par le déroulement de l'exécution de l'application authentique.
En renouvelant, à une cadence choisie, la suite d'instructions de contrôle du certificat exécutable, il est possible de mettre en oeuvre un nombre important de moyens d'authentification d'une application et il devient quasi impossible de mettre au point des applications logicielles pirates qui déjouent systématiquement le processus de vérification.
Ainsi, le procédé selon l'invention permet de vérifier l'intégrité d'une application logicielle exécutée sur un terminal hôte avec un degré de sécurisation relativement satisfaisant vis à vis des pirates adeptes de la rétro-conception et cela sans faire appel à des clés de chiffrement/déchiffrement ou à des 30 composants matériels coteux.
Selon une réalisation, la suite d'instructions de contrôle est choisie de telle sorte que l'état du contexte mémoire d'une application logicielle authentique après l'exécution de la suite d'instructions de contrôle est identique (sans modification) à l'état du contexte mémoire de l'application logicielle avant l'exécution de la suite d'instructions de contrôle.
Ainsi la mise en oeuvre du procédé selon l'invention n'apporte pas de dysfonctionnement au niveau du déroulement de l'application logicielle à vérifier si cette dernière est authentique.
Selon une réalisation, dans laquelle le terminal hôte est équipé d'un 10 processeur, la suite d'instructions de contrôle formant certificat exécutable est codée en langage interprétable par ledit processeur du terminal hôte.
En variante, dans laquelle le terminal hôte est équipé d'une machine virtuelle apte à émuler un processeur, la suite d'instructions de contrôle formant certificat exécutable est codée en langage interprétable par la machine virtuelle 15 du terminal hôte.
En pratique, le contexte mémoire d'exécution d'une application logicielle est constitué, entre autre, des adresses en mémoire des symboles (fonctions, variables, ), des instructions exécutables, des données, et de l'état de la pile 20 d'exécution de l'application Ces valeurs sont uniques pour chaque application informatique en cours d'exécution et pour chaque type de processeur ou de machine virtuelle.
En pratique, dans l'étape i) il est prévu d'établir, dans un environnement 25 sécurisé, une carte du contexte mémoire de l'application logicielle authentique en cours d'exécution, de déterminer, en utilisant les valeurs de cette carte mémoire, une suite d'instructions de contrôle formant certificat exécutable.
En pratique, dans l'étape ii), le dispositif d'acheminement du certificat 30 exécutable à destination du terminal hôte est logé dans un circuit électronique de traitement physiquement séparé du terminal hôte.
En pratique, dans l'étape ii) la récupération des valeurs du contexte mémoire d'exécution se fait par lecture des valeurs aux adresses des différentes zones de mémoire du terminal hôte Dans ces zones sont logées les instructions exécutables intrinsèques à l'application, les valeurs des variables et les valeurs des références aux fonctions de l'application à contrôler.
En pratique, à l'étape iii), le résultat obtenu par l'exécution de ladite suite d'instructions de contrôle est une signature de l'application à vérifier Cette signature est calculée par ladite suite d'instructions de contrôle qui utilise les 1 o valeurs du contexte mémoire de l'application logicielle à vérifier en cours d'exécution De préférence, I'application logicielle comprend des instructions permettant d'insérer et d'exécuter dans son contexte mémoire ladite suite d'instructions en substituant au moins une adresse d'exécution d'une instruction de ladite application logicielle par au moins l'adresse d'une instruction de la 15 suite d'instructions de contrôle formant certificat exécutable.
Selon une autre réalisation, la suite d'instructions de contrôle formant certificat exécutable est transportée dans un flux de données nécessaire à l'exécution de l'application logicielle à vérifier Pour forcer l'exécution de la suite d'instructions 20 dudit certificat exécutable, lesdites données utiles sont préalablement protégées par une méthode de chiffrement Le déchiffrement de ces données est correctement effectué par ladite suite d'instructions de contrôle du certificat exécutable si l'application à vérifier est une application authentique Si le procédé de chiffrement utilise une clé, cette dernière est produite par les 25 instructions de contrôle avec des valeurs du contexte mémoire de l'application logicielle à vérifier, valeurs formant signature de l'application logicielle à vérifier.
Les opérations pour obtenir la clé de chiffrement sont codées dans la suite d'instructions du certificat exécutable.
En variante, la méthode de protection est sans clé, la suite d'opérations pour obtenir l'accessibilité des données est dans la suite d'instructions de contrôle du certificat exécutable.
En pratique, la protection des données nécessaires au fonctionnement de l'application logicielle à vérifier est entreprise dans un environnement sécurisé avant que ces données ne soient transmises La méthode de protection, avec ou sans clé, doit être réversible.
Selon encore une autre réalisation, dans laquelle l'exécution de l'application logicielle fait appel à une carte à puce ou à tout autre circuit sécurisé pour fonctionner, la suite d'instructions de contrôle est logée dans la carte à puce (ou le circuit sécurisé) et envoyée à l'application logicielle à vérifier, l'application 10 logicielle étant apte à récupérer et exécuter ladite suite d'instructions de contrôle ainsi envoyée avec les données dont elle a besoin pour fonctionner.
En pratique, I'accès à des données transmises par la carte à puce (ou le circuit sécurisé) doit être nécessaire à l'application logicielle à vérifier pour que celle-ci 15 se comporte de façon identique à une application authentique.
Selon une autre réalisation, à la suite d'une vérification négative de l'intégrité de l'application logicielle à vérifier, le certificat exécutable exécute des instructions faisant appel à des fonctions appartenant à une autre application.
La présente invention a également pour objet un dispositif de vérification de l'intégrité d'une application logicielle pour la mise en oeuvre du précédé selon l'invention. Selon une autre caractéristique importante de l'invention, le dispositif de vérification comprend des moyens de traitement aptes à déterminer au moins une suite d'instructions de contrôle formant certificat exécutable pour l'application logicielle, exécutable par ledit terminal hôte au cours de l'exécution de l'application logicielle à vérifier, et des moyens de comparaison pour 30 comparer le résultat de l'exécution du certificat exécutable sur le comportement de l'application logicielle à vérifier, avec le résultat attendu du comportement d'une application authentique, et des moyens de modifier l'exécution de l'application logicielle à vérifier en fonction du résultat de la comparaison.
Selon une réalisation, le dispositif de vérification comprend une carte à puce ou tout autre circuit sécurisé apte à contenir d'une part, la suite d'instructions de contrôle formant certificat exécutable et d'autre part, une application réalisant le 5 test de vérification Le terminal hôte est équipé d'un lecteur de carte à puce (ou d'un moyen de communication avec le circuit sécurisé) et les moyens d'exécution de l'application logicielle à vérifier sont agencés pour charger et exécuter dans son contexte mémoire la suite d'instructions formant certificat.
L'application de vérification dans la carte à puce ou le circuit sécurisé est 1 o agencée de façon à modifier le déroulement normal de l'exécution de l'application logicielle à vérifier si le résultat de l'exécution de la suite d'instructions de contrôle n'est pas transmis, dans des conditions définies préalablement, à l'application de vérification dans la carte à puce ou du circuit sécurisé, ou si le résultat de la vérification s'avère négatif.
Selon une variante, le dispositif est apte à déterminer une pluralité de certificats exécutables différents les uns des autres selon une cadence et/ou condition choisie. En pratique, le terminal hôte appartient au groupe formé par les dispositifs de traitement des données, les décodeurs de télévision numérique, les équipements de visualisation de contenus multimédias, les micro-ordinateurs, les cartes à puces, les assistants personnels, les consoles de jeux, les téléphones mobiles ou analogues.
D'autres caractéristiques et avantages de l'invention apparaîtront à la lumière de la description détaillée ci-après et des dessins dans lesquels: la figure 1 est une vue schématique illustrant la vérification d'une application logicielle dont les données utiles contiennent le certificat exécutable, selon 30 l'invention, et la figure 2 est une vue schématique illustrant la vérification d'une application logicielle utilisant une carte à puce selon l'invention.
En pratique, les termes " intègre " et " authentique " sont ici utilisés indifféremment pour une application logicielle.
On entend ici par " certificat exécutable " une suite d'instructions de contrôle 5 exécutables dans le contexte mémoire d'une application logicielle en cours d'exécution et dont l'exécution produit des effets tels que l'exécution d'une l'application logicielle à vérifier, si cette dernière est intègre, a un comportement identique à celui qui est attendu.
io En référence à la figure 1, l'application logicielle à vérifier 1 est embarquée dans un terminal hôte (non représenté).
Par exemple, le terminal hôte appartient au groupe formé par les dispositifs de traitement des données, les décodeurs de télévision numérique, les 15 équipements de visualisation de contenus multimédias, les micro-ordinateurs, les cartes à puces, les assistants personnels, les consoles de jeux, les téléphones mobiles ou analogues.
En pratique, I'application logicielle à vérifier 1 traite 3 des données 20 préalablement protégées 2, c'est a dire non traitables par l'application à vérifier tant que des instructions de contrôle du certificat exécutable que l'on décrira plus en détail ci-après n'ont pas authentifiées l'application à vérifier Une méthode pour rendre non accessible ces données consiste à les chiffrer Toute autre méthode de protection réversible est envisageable.
Ces données protégées 2 contiennent 7 un certificat exécutable 4 renfermant une suite d'instructions de contrôle non protégées, qui sont exécutées 5 par l'application à vérifier 1.
En pratique, les instructions de contrôle du certificat exécutable 4 sont codées dans le langage du processeur du terminal hôte, encore appelé langage machine En variante, les instructions du certificat exécutable 4 peuvent aussi être codées dans le langage d'une machine virtuelle, émulant le comportement d'un processeur.
Ces instructions de contrôle du certificat exécutable 4 en langage machine sont 5 des structures binaires préalablement déterminées avant que celles ici ne soient transmises à l'application logicielle à vérifier.
Les instructions de contrôle du certificat exécutable 4 sont choisies de façon à ce que seule une application logicielle authentique puisse les exécuter pour 10 produire un résultat identique à celui qui est attendu Comme on le verra plus en détail ci-après, I'absence de dysfonctionnement de l'application logicielle authentique est obtenu en choisissant une suite d'instructions de contrôle de telle sorte que l'état du contexte mémoire d'une l'application logicielle à vérifier 1 après l'exécution de la suite d'instructions de contrôle soit identique à l'état du contexte mémoire de l'application logicielle avant l'exécution de la suite d'instructions de contrôle.
Le certificat exécutable 4 peut aussi être inséré dans le flot de données que l'application 1 est sensée traiter.
L'insertion de certificats exécutables dans un flot de données peut correspondre au cas o il est nécessaire d'authentifier une application de traitement de flux multimédia protégé, accessible à l'utilisateur à la condition que ce dernier se soit acquitté des obligations telles que définies par le vendeur des contenus La 25 source du flux multimédia peut être un point d'émission d'un réseau de diffusion, la mémoire persistante du terminal hôte, ou encore une unité de mémoire extractible du terminal hôte.
Les instructions de contrôle du certificat exécutable 4 sont choisies pour 30 calculer 6 une signature 8 de l'application à contrôler 1, en utilisant 9 le contexte mémoire de l'application à contrôler 1, en cours d'exécution.
L'utilisation du contexte mémoire par les instructions de contrôle est réalisé en allant chercher les valeurs de certains symboles (variables, fonctions, instructions exécutable) de l'application à vérifier en cours d'exécution La récupération de ces valeurs dépend entre autre du modèle mémoire implémenté dans le processeur du terminal hôte.
En pratique, la suite d'instructions de contrôle du certificat exécutable 4 produit 6 une signature 8 qui dépend 9 du contexte mémoire de l'application logicielle à vérifier 1 et utilise cette signature pour lever la protection 10 des données protégées 2 Si l'application logicielle est authentique, les données 2 sont rendues accessibles et leur traitement 3 par l'application logicielle à vérifier 1 10 produira un résultat identique à celui d'une application authentique.
Dans le cas o le certificat exécutable 4 contenant les instructions de contrôle est inséré dans un flot de données, il est nécessaire de forcer l'application à exécuter ces instructions Les instructions de contrôle sont alors programmées 15 pour déchiffrer une partie du flot de données que l'application à vérifier doit traiter Cela nécessite un traitement préalable du flot de données par chiffrement avant que ce flot ne soit accédé, pour traitement, par l'application à vérifier L'algorithme de déchiffrement peut être implémenté dans les instructions de contrôle ou être disponible sous forme de fonction implémentée 20 dans le terminal, et appelée par les instructions de contrôle Les clés, si utilisées par l'algorithme de déchiffrement, sont calculées par les instructions de contrôle en utilisant des valeurs du contexte mémoire préalablement définies de l'application en cours d'exécution.
En référence à la figure 2, I'application logicielle à vérifier 11 interagit 12 avec un circuit sécurisé 13, de type carte à puce ou analogue.
La carte à puce 13 transmet 19 un certificat exécutable 15 contenant des instructions de contrôle qui sont chargées et exécutées 16 par l'application 30 logicielle à vérifier 11 Ainsi, pour une application 1 1 nécessitant 12 une carte à puce 13 pour fonctionner, les instructions de contrôle 15 sont stockées dans la carte à puce 13 et envoyées à l'application à contrôler 11 par le biais du lien interactif 12.
L'application à contrôler 11 utilise 21 pour fonctionner des données 20 qu'elle récupère par interaction 12 avec la carte à puce 13 Ces données 20 contiennent 22 le certificat exécutable 15.
Les instructions de contrôle du certificat exécutable 15, lorsqu'elles sont stockées sur la carte à puce 13, sont chargées par l'application à contrôler 11 de façon à ce que celle ci les exécutent 16 selon le principe exposé en référence à la figure 1.
Une signature 18 de l'application logicielle à vérifier est produite 17 par les instructions de contrôle du certificat exécutable en utilisant 14 le contexte mémoire de l'application logicielle à contrôler.
Les instructions de contrôle du certificat exécutable interagissent 19 avec le i 5 circuit sécurisé 13 de façon à ce que la signature 18 de l'application contrôlée 11 soit transmise à une autre application de vérification 24 hébergée sur la carte à puce 13, considéré ici comme un environnement sécurisé L'application de vérification 24 dans la carte à puce maintient pour chaque type de processeur et pour chaque application à contrôler, une table de 20 correspondance entre les instructions de contrôle exécutables 15 et les résultats attendus.
Cette table de correspondance permet de vérifier 23 la validité de la signature calculée par le certificat exécutable 15 Si le résultat de la vérification est 25 négatif, I'application de vérification hébergée dans la carte à puce interagit 12 avec l'application à contrôler afin de modifier le fonctionnement de cette dernière Si la vérification est positive, la carte à puce 13 produit les données 20 dont l'application logicielle 11 a besoin pour fonctionner 21.
Dans un mode de réalisation, les certificats hébergés dans la carte à puce ou le circuit sécurisé changent selon une cadence ou condition choisie.

Claims (16)

REVENDICATIONS
1 Procédé de vérification de l'intégrité d'une application logicielle exécutable dans un terminal hôte, caractérisé en ce qu'il comprend les étapes suivantes: i) déterminer au moins une suite d'instructions de contrôle formant certificat exécutable ( 4,15) pour l'application logicielle, exécutable par ledit terminal hôte au cours de l'exécution de l'application logicielle à vérifier ( 1,11), ii) sur le terminal hôte, exécuter l'application logicielle à vérifier ( 1,11), 10 recevoir le certificat exécutable ( 4,15) ainsi déterminé lors de l'étape i), et exécuter la suite d'instructions de contrôle dudit certificat exécutable dans le contexte mémoire dudit terminal hôte, iii) comparer le résultat ainsi obtenu par l'exécution des instructions de contrôle avec le résultat attendu d'une application logicielle authentique 15 et, iv) en cas de comparaison positive, continuer le cours de l'exécution de l'application logicielle à vérifier ( 1,11).
2 Procédé selon la revendication 1, dans lequel le terminal hôte est équipé 20 d'un processeur caractérisé en ce que la suite d'instructions de contrôle formant certificat ( 4, 15) est codée en langage interprétable par ledit processeur du terminal hôte.
3 Procédé selon la revendication 1, dans lequel le terminal hôte est équipé 25 d'une machine virtuelle apte à émuler un processeur, caractérisé en ce que la suite d'instructions de contrôle formant certificat ( 4, 15) est codée en langage interprétable par la machine virtuelle du terminal hôte.
4 Procédé selon l'une des revendications 1 à 3, caractérisé en ce que dans 30 l'étape i) il est prévu d'établir, dans un environnement sécurisé, une carte du contexte mémoire de l'application logicielle authentique en cours d'exécution, et de déterminer, à partir des valeurs de cette carte mémoire, la suite d'instructions de contrôle destinée à former le certificat exécutable ( 4,15).
Procédé selon l'une des revendications I à 4, caractérisé en ce que dans l'étape ii), le certificat exécutable ( 4, 15) à destination du terminal hôte émane d'un circuit électronique de traitement physiquement séparé du terminal hôte.
6 Procédé selon l'une des revendications 1 à 5, caractérisé en ce que dans l'étape ii) la récupération des valeurs du contexte mémoire d'exécution se fait par lecture des valeurs aux adresses des différentes zones de la mémoire du terminal hôte, ces zones contenant les instructions exécutables et les données 10 intrinsèques à l'application à vérifier.
7 Procédé selon l'une des revendications 1 à 6, caractérisé en ce que dans l'étape iii), le résultat obtenu par l'exécution de ladite suite d'instructions de contrôle ( 4,15) produit une signature de l'application à vérifier, cette signature 15 étant calculée par ladite suite d'instructions de contrôle ( 4, 15) qui utilise les valeurs du contexte mémoire de l'application logicielle à vérifier en cours d'exécution de l'application.
8 Procédé selon l'une des revendications précédentes, caractérisé en ce que 20 I'application logicielle comprend des instructions permettant de charger et d'exécuter dans sa carte de contexte mémoire ladite suite d'instructions de contrôle ( 4, 15) en substituant au moins une adresse d'exécution d'une instruction de ladite application logicielle par au moins une adresse d'instruction de la suite d'instructions formant certificat.
9 Procédé selon l'une des revendications précédentes, caractérisé en ce que la suite d'instructions de contrôle ( 4, 15) est choisie de telle sorte que l'état du contexte mémoire d'une l'application logicielle après l'exécution de la suite d'instructions de contrôle est identique et/ou sans modification de l'état du 30 contexte mémoire de l'application logicielle avant l'exécution de la suite d'instructions de contrôle.
Procédé selon l'une quelconque des revendications 1 à 9, caractérisé en ce que la suite d'instructions formant certificat ( 4,15) est transportée dans un flux de données nécessaire à l'exécution de l'application logicielle à vérifier.
11 Procédé selon l'une quelconque des revendications 1 à 10, caractérisé en ce que l'application logicielle à vérifier est tout ou partie chiffrée, le déchiffrement correct de l'application logicielle étant réalisé en cas d'intégrité de l'application logicielle à vérifier.
12 Dispositif de vérification de l'intégrité d'une application logicielle destinée à être exécutée dans un terminal hôte pour la mise en oeuvre du procédé selon l'une des revendications 1 à 11, caractérisé en ce qu'il comprend des moyens de traitement aptes à déterminer au moins une suite d'instructions de contrôle ( 4,15) pour l'application logicielle ( 1,11), exécutable par ledit terminal hôte au 15 cours de l'exécution de l'application logicielle, et formant un certificat exécutable de ladite application logicielle, des moyens d'exécution pour exécuter la suite d'instructions formant certificat ( 4,15) sur le terminal hôte au cours de l'exécution de l'application logicielle, des moyens de comparaison pour comparer le résultat ainsi obtenu par l'exécution des instructions de contrôle 20 avec le résultat attendu d'une application authentique, et des moyens aptes en cas de comparaison positive à continuer l'exécution de l'application logicielle à vérifier ( 1,11).
13 Dispositif selon la revendication 12, caractérisé en ce qu'il comprend une 25 carte à puce ou tout autre circuit sécurisé apte à contenir la suite d'instructions de contrôle formant certificat ( 4,15), en ce que le terminal hôte est équipé d'un lecteur de carte à puce ou d'un moyen de communication avec le circuit sécurisé et en ce que les moyens d'exécution de l'application logicielle sont agencés pour aller chercher, dans la carte à puce ou le circuit sécurisé, la suite 30 d'instructions formant certificat au cours de l'exécution de l'application logicielle à vérifier.
14 Dispositif selon la revendication 13, caractérisé en ce que le terminal hôte est apte à renvoyer à la carte à puce ou au circuit sécurisé la signature produite par la suite d'instructions de contrôle, et en ce que la carte à puce ou le circuit sécurisé comprend en outre une application logicielle de vérification apte à 5 valider ou invalider l'authenticité de l'application logicielle à vérifier en fonction du résultat de la comparaison entre la signature produite par la suite d'instructions de contrôle et une valeur de la signature connue et préalablement stockée dans la carte à puce ou dans le circuit sécurisé.
15 Dispositif selon la revendication 14, caractérisé en ce qu'en cas de comparaison négative, la carte à puce est apte à modifier le fonctionnement de l'application logicielle à vérifier.
16 Dispositif selon la revendication 14 ou la revendication 15, caractérisé en ce 15 qu'en cas de non transmission de la signature conformément à des conditions prédéterminées, la carte à puce est apte à modifier le fonctionnement de l'application logicielle à vérifier.
17 Dispositif selon l'une des revendications 12 à 16, caractérisé en ce qu'en 20 cas de comparaison négative, le dispositif comprend en outre des moyens aptes à empêcher le fonctionnement de l'application logicielle dans le terminal hôte. 18 Dispositif selon l'une des revendications 12 à 17, caractérisé en ce que le 25 terminal hôte appartient au groupe formé par les dispositifs de traitement des données, les décodeurs de télévision numérique, les équipements de visualisation de contenus multimédias, les micro-ordinateurs, les cartes à puces, les assistants personnels, les consoles de jeux, les téléphones mobiles ou analogues.
19 Dispositif selon l'une des revendications 12 à 18, caractérisé en ce que les moyens de traitement sont aptes à déterminer une pluralité de certificats 2849230 15 exécutables ( 4, 15), différents les un par rapport aux autres selon une cadence et/ou condition choisie.
FR0216652A 2002-12-24 2002-12-24 Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement Expired - Fee Related FR2849230B1 (fr)

Priority Applications (8)

Application Number Priority Date Filing Date Title
FR0216652A FR2849230B1 (fr) 2002-12-24 2002-12-24 Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement
PCT/FR2003/003877 WO2004059450A1 (fr) 2002-12-24 2003-12-23 Procede et dispositif de verification de l'integrite d'une application logicielle
CA002510602A CA2510602A1 (fr) 2002-12-24 2003-12-23 Procede et dispositif de verification de l'integrite d'une application logicielle
AU2003299401A AU2003299401A1 (en) 2002-12-24 2003-12-23 Software application integrity verification method and device
US10/539,566 US7739514B2 (en) 2002-12-24 2003-12-23 Software application integrity verification method and device
EP03799695A EP1576444A1 (fr) 2002-12-24 2003-12-23 Procede et dispositif de verification de l'integrite d'une application logicielle
CN200380107152.1A CN100520670C (zh) 2002-12-24 2003-12-23 用于验证软件应用完整性的方法和设备
HK06103351.1A HK1083545A1 (en) 2002-12-24 2006-03-16 Software application integrity verification method and device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0216652A FR2849230B1 (fr) 2002-12-24 2002-12-24 Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement

Publications (2)

Publication Number Publication Date
FR2849230A1 true FR2849230A1 (fr) 2004-06-25
FR2849230B1 FR2849230B1 (fr) 2005-04-22

Family

ID=32406503

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0216652A Expired - Fee Related FR2849230B1 (fr) 2002-12-24 2002-12-24 Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement

Country Status (8)

Country Link
US (1) US7739514B2 (fr)
EP (1) EP1576444A1 (fr)
CN (1) CN100520670C (fr)
AU (1) AU2003299401A1 (fr)
CA (1) CA2510602A1 (fr)
FR (1) FR2849230B1 (fr)
HK (1) HK1083545A1 (fr)
WO (1) WO2004059450A1 (fr)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1698958A1 (fr) * 2005-02-25 2006-09-06 Axalto SA Procédé de sécurisation de l'ecriture en mémoire contre des attaques par rayonnement ou autres

Families Citing this family (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060048226A1 (en) * 2004-08-31 2006-03-02 Rits Maarten E Dynamic security policy enforcement
GB0514492D0 (en) * 2005-07-14 2005-08-17 Ntnu Technology Transfer As Secure media streaming
GB2443264A (en) * 2006-10-27 2008-04-30 Ntnu Technology Transfer As Integrity checking method for a device in a computer network, which controls access to data; e.g. to prevent cheating in online game
CN101226569A (zh) * 2007-01-19 2008-07-23 国际商业机器公司 在虚拟机中验证代码模块的方法及装置
JP5320561B2 (ja) * 2009-03-19 2013-10-23 株式会社日立製作所 真正性を保証する端末システム、端末及び端末管理サーバ
JP2013523043A (ja) 2010-03-22 2013-06-13 エルアールディシー システムズ、エルエルシー ソースデータセットの完全性を識別及び保護する方法
EP2466505B1 (fr) 2010-12-01 2013-06-26 Nagravision S.A. Procédé d'authentification de terminal
US8615684B2 (en) * 2011-04-18 2013-12-24 Astronautics Corporation Of America High reliability processor system
US8695060B2 (en) * 2011-10-10 2014-04-08 Openpeak Inc. System and method for creating secure applications
MX342702B (es) * 2012-02-14 2016-10-10 Apple Inc Metodos y aparato para distribucion a gran escala de clientes de acceso electronico.
US9021476B1 (en) * 2012-06-19 2015-04-28 Bromium, Inc. Ensuring the privacy and integrity of a hypervisor
US9135046B1 (en) 2012-06-19 2015-09-15 Bromium, Inc. Preventing host operating system from inspecting or modifying data received by hardware controller by moving host operating system into a virtual machine after boot up
US10140139B1 (en) 2012-06-19 2018-11-27 Bromium, Inc. Ensuring the privacy and integrity of a hypervisor
CN103902878B (zh) * 2012-12-28 2017-08-22 新华三技术有限公司 一种虚拟环境下的License认证方法和装置
CN104134021B (zh) * 2013-06-20 2016-03-02 腾讯科技（深圳）有限公司 软件的防篡改验证方法及装置
US9762657B2 (en) 2014-06-17 2017-09-12 International Business Machines Corporation Authentication of mobile applications
US9100390B1 (en) 2014-09-05 2015-08-04 Openpeak Inc. Method and system for enrolling and authenticating computing devices for data usage accounting
US20160071040A1 (en) 2014-09-05 2016-03-10 Openpeak Inc. Method and system for enabling data usage accounting through a relay
US8938547B1 (en) 2014-09-05 2015-01-20 Openpeak Inc. Method and system for data usage accounting in a computing device
US9350818B2 (en) 2014-09-05 2016-05-24 Openpeak Inc. Method and system for enabling data usage accounting for unreliable transport communication
US9232013B1 (en) 2014-09-05 2016-01-05 Openpeak Inc. Method and system for enabling data usage accounting
EP3026558A1 (fr) * 2014-11-28 2016-06-01 Thomson Licensing Procédé et dispositif permettant d'assurer la vérification de l'intégrité d'une application
EP3026557A1 (fr) * 2014-11-28 2016-06-01 Thomson Licensing Procédé et dispositif permettant d'assurer la vérification de l'intégrité d'une application
US9232078B1 (en) 2015-03-16 2016-01-05 Openpeak Inc. Method and system for data usage accounting across multiple communication networks
SG10201602449PA (en) 2016-03-29 2017-10-30 Huawei Int Pte Ltd System and method for verifying integrity of an electronic device
US10523418B2 (en) 2016-06-03 2019-12-31 Cryptography Research, Inc. Providing access to a hardware resource based on a canary value
EP3373178B1 (fr) * 2017-03-08 2024-09-18 Secure-IC SAS Comparaison de signatures de données de contexte d'exécution avec des références
EP3696698A1 (fr) * 2019-02-18 2020-08-19 Verimatrix Procédé de protection d'un programme logiciel contre la falsification

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1999035582A1 (fr) * 1998-01-05 1999-07-15 Chew Wah Lui Systeme d'activation de logiciel et procede d'authentification de logiciel
US6006328A (en) * 1995-07-14 1999-12-21 Christopher N. Drake Computer software authentication, protection, and security system
WO2000033196A1 (fr) * 1998-11-26 2000-06-08 Aristocrat Technologies Australia Pty Ltd Jeu de casino electronique avec dispositif d'authentification et securite amelioree
US6308270B1 (en) * 1998-02-13 2001-10-23 Schlumberger Technologies, Inc. Validating and certifying execution of a software program with a smart card

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1626325B1 (fr) * 2000-09-21 2010-09-01 Research In Motion Limited Systeme et procede de signature par code
US6782477B2 (en) * 2002-04-16 2004-08-24 Song Computer Entertainment America Inc. Method and system for using tamperproof hardware to provide copy protection and online security

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6006328A (en) * 1995-07-14 1999-12-21 Christopher N. Drake Computer software authentication, protection, and security system
WO1999035582A1 (fr) * 1998-01-05 1999-07-15 Chew Wah Lui Systeme d'activation de logiciel et procede d'authentification de logiciel
US6308270B1 (en) * 1998-02-13 2001-10-23 Schlumberger Technologies, Inc. Validating and certifying execution of a software program with a smart card
WO2000033196A1 (fr) * 1998-11-26 2000-06-08 Aristocrat Technologies Australia Pty Ltd Jeu de casino electronique avec dispositif d'authentification et securite amelioree

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
HOI CHANG AND MIKHAIL J. ATTALLAH: "Protecting Software Code by Guards", LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG, vol. 2320, 10 June 2002 (2002-06-10), pages 160 - 175, XP002245264, ISBN: 3540436774 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1698958A1 (fr) * 2005-02-25 2006-09-06 Axalto SA Procédé de sécurisation de l'ecriture en mémoire contre des attaques par rayonnement ou autres

Also Published As

Publication number Publication date
HK1083545A1 (en) 2006-07-07
US7739514B2 (en) 2010-06-15
AU2003299401A1 (en) 2004-07-22
FR2849230B1 (fr) 2005-04-22
EP1576444A1 (fr) 2005-09-21
CN100520670C (zh) 2009-07-29
CA2510602A1 (fr) 2004-07-15
WO2004059450A1 (fr) 2004-07-15
US20060085645A1 (en) 2006-04-20
CN1729436A (zh) 2006-02-01

Similar Documents

Publication Publication Date Title
FR2849230A1 (fr) Procede et dispositif de verification de l'integrite d'une application logicielle sans cle de chiffrement/dechiffrement
US11126710B2 (en) Method and device for verifying the integrity of platform software of an electronic device
CN112514321B (zh) 共享秘密建立
CN111404696B (zh) 协同签名方法、安全服务中间件、相关平台及系统
EP2614458B1 (fr) Procede d'authentification pour l'acces a un site web
FR2885424A1 (fr) Dispositif de traitement de donnees, terminal de telecommunications et procede de traitement de donnees au moyen d'un dispositif de traitement de donnees.
FR2854303A1 (fr) Procede de securisation d'un terminal mobile et applications de procede, l'execution d'applications necessitant un niveau de securite eleve
CN112257086B (zh) 一种用户隐私数据保护方法及电子设备
EP2064648A1 (fr) Fabrication de fichiers de programme exécutables par ordinateur à partir d'un code source
CN112507326B (zh) 基于sm3杂凑算法的密码信息加密方法、装置以及计算机设备
EP0720098B1 (fr) Dispositif de sécurisation de systèmes d'information organisés autour de microprocesseurs
EP2107808A1 (fr) Module de sécurité (SM) pour unité de traitement de données audio/vidéo
EP1494460A1 (fr) Procédé et dispositif d'authentification de données numériques par module d'extension d'authentification
FR3083343A1 (fr) Procede de determination d'une validite d'un code applicatif, dispositif et produit programme d'ordinateur correspondants.
CN115357929A (zh) 一种图像的处理方法、装置及设备
CN113094708B (zh) 电子文件处理方法及装置、存储介质和处理器
CN114817956A (zh) 一种usb通信对象验证方法、系统、装置及存储介质
EP1576443A2 (fr) Procede pour la securisation des systemes informatiques incorporant un module d interpretation de code
CN114244620A (zh) 一种板卡入网验证方法、装置及板卡控制中心
FR2893732A1 (fr) Procede et dispositif d'authentification par un utilisateur d'une interface de confiance et programme d'oedinateur associe
FR2867929A1 (fr) Procede d'authentification dynamique de programmes par un objet portable electronique
EP2912598B1 (fr) Procédé de téléchargement d'au moins un composant logiciel dans un appareil informatique, produit programme d'ordinateur, appareil informatique et système informatique associés
EP3350745B1 (fr) Gestion d'un affichage d'une vue d'une application sur un écran d'un dispositif électronique de saisie de données, procédé, dispositif et produit programme d'ordinateur correspondants
US20180091295A1 (en) Data protection
WO2020193583A1 (fr) Procédé d'exécution de code sécurisé, dispositifs, système et programmes correspondants

Legal Events

Date Code Title Description
TP Transmission of property
ST Notification of lapse

Effective date: 20140829