WO2007077142A3 - Procede de securisation de l'execution d'un programme d'ordinateur - Google Patents

Procede de securisation de l'execution d'un programme d'ordinateur Download PDF

Info

Publication number
WO2007077142A3
WO2007077142A3 PCT/EP2006/070061 EP2006070061W WO2007077142A3 WO 2007077142 A3 WO2007077142 A3 WO 2007077142A3 EP 2006070061 W EP2006070061 W EP 2006070061W WO 2007077142 A3 WO2007077142 A3 WO 2007077142A3
Authority
WO
WIPO (PCT)
Prior art keywords
neutral
instructions
content
program
instruction
Prior art date
Application number
PCT/EP2006/070061
Other languages
English (en)
Other versions
WO2007077142A2 (fr
Inventor
Olivier Benoit
Original Assignee
Gemplus
Olivier Benoit
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
Application filed by Gemplus, Olivier Benoit filed Critical Gemplus
Publication of WO2007077142A2 publication Critical patent/WO2007077142A2/fr
Publication of WO2007077142A3 publication Critical patent/WO2007077142A3/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Executing Machine-Instructions (AREA)

Abstract

Procédé de sécurisation de l'exécution d'un programme d'ordinateur comportant des instructions de branchement insérées dans un flux d'instructions neutres à exécuter les unes à la suite des autres. Le procédé comprend des étapes consistant à : - enregistrer (10) dans une mémoire (2) le nombre d'instructions neutres à exécuter entre chaque instruction de branchement ; incrémenter (12) un compteur d'instructions (3) lors de l'exécution de chaque instruction neutre et lors de l'exécution de chaque instruction de branchement lire (15) le contenu dudit compteur d'instructions, comparer (16) le contenu dudit compteur d'instructions au nombre enregistré dans ladite mémoire, d'instructions neutres censées avoir été exécutées depuis l'instruction de branchement précédente, et si le contenu dudit compteur d'instructions est égal au nombre d'instructions neutres enregistré, initialiser (17) ledit compteur et poursuivre l'exécution dudit programme, et si le contenu dudit compteur d'instructions n'est pas égal au nombre d'instructions neutres enregistré, générer (18) une interruption.
PCT/EP2006/070061 2006-01-04 2006-12-21 Procede de securisation de l'execution d'un programme d'ordinateur WO2007077142A2 (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0650026A FR2895814A1 (fr) 2006-01-04 2006-01-04 Procede de securisation de l'execution d'un programme d'ordinateur
FR0650026 2006-01-04

Publications (2)

Publication Number Publication Date
WO2007077142A2 WO2007077142A2 (fr) 2007-07-12
WO2007077142A3 true WO2007077142A3 (fr) 2009-03-19

Family

ID=38110446

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/EP2006/070061 WO2007077142A2 (fr) 2006-01-04 2006-12-21 Procede de securisation de l'execution d'un programme d'ordinateur

Country Status (2)

Country Link
FR (1) FR2895814A1 (fr)
WO (1) WO2007077142A2 (fr)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP2300952B1 (fr) 2008-05-30 2012-07-11 Nxp B.V. Procédé permettant d'adapter et d'exécuter un programme informatique et architecture et produit de programme informatiques correspondants
FR2977342A1 (fr) * 2011-06-30 2013-01-04 Proton World Int Nv Verification d'integrite d'un programme execute par un circuit electronique
EP3438865A1 (fr) * 2017-08-02 2019-02-06 Texplained Détection d'attaque par comptage d'instruction de branchement
FR3118233B1 (fr) * 2020-12-18 2024-01-19 St Microelectronics Alps Sas Procédé de détection d’ingénierie inversée sur une unité de traitement utilisant un registre d’instruction et circuit intégré correspondant

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2790844A1 (fr) * 1999-03-09 2000-09-15 Gemplus Card Int Procede et dispositif de surveillance du deroulement d'un programme, dispositif programme permettant la surveillance de son programme
US20030188231A1 (en) * 2002-04-01 2003-10-02 Cronce Paul A. Method for runtime code integrity validation using code block checksums
FR2849226A1 (fr) * 2002-12-20 2004-06-25 Oberthur Card Syst Sa Procede et dispositif de securisation de l'execution d'un programme informatique.
EP1605333A1 (fr) * 2004-06-07 2005-12-14 Proton World International N.V. Contrôle de l'exécution d'un programme

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2790844A1 (fr) * 1999-03-09 2000-09-15 Gemplus Card Int Procede et dispositif de surveillance du deroulement d'un programme, dispositif programme permettant la surveillance de son programme
US20030188231A1 (en) * 2002-04-01 2003-10-02 Cronce Paul A. Method for runtime code integrity validation using code block checksums
FR2849226A1 (fr) * 2002-12-20 2004-06-25 Oberthur Card Syst Sa Procede et dispositif de securisation de l'execution d'un programme informatique.
EP1605333A1 (fr) * 2004-06-07 2005-12-14 Proton World International N.V. Contrôle de l'exécution d'un programme

Also Published As

Publication number Publication date
WO2007077142A2 (fr) 2007-07-12
FR2895814A1 (fr) 2007-07-06

Similar Documents

Publication Publication Date Title
WO2009002683A3 (fr) Assistance programmatique à liaison tardive
JP2020110544A5 (fr)
WO2009120981A3 (fr) Instructions vectorielles pour autoriser une synchronisation efficace et des opérations de réduction parallèle
WO2009018488A3 (fr) Exécution de multiples applications et de leurs variations dans des environnements de calcul
GB2436506A (en) Register file regions for a processing system
WO2009042658A3 (fr) Procédé, système et dispositif pour fournir un chargeur d'amorçage d'un système intégré
WO2007118154A3 (fr) Système et procédé pour vérifier l'intégrité d'un code de programme informatique
WO2008128107A3 (fr) Procédé et système d'alignement de traces de processus élémentaires destinés à un processeur à plusieurs processus élémentaires
WO2010077884A3 (fr) Modèle de mémoire pour attributs matériels dans un système de mémoire transactionnelle
WO2001016717A8 (fr) Unite de commande et support d'enregistrement
WO2010127216A3 (fr) Détermination automatisée de quasi-identificateurs à l'aide d'une analyse de programme
WO2005008410A3 (fr) Processeur programmable et procede a operations etendues
WO2010068790A3 (fr) Commande d'exécution de sous-graphe multifils dans un environnement de modélisation graphique
GB2430289A (en) Selective execution of deferred instructions
ATE408877T1 (de) Plattensteuerung ausgestaltet zur nicht- sequentiellen ausführung von schreiboperationen
ATE463788T1 (de) Datenverarbeitungseinheit für anweisungen in geschachtelten schleifen
WO2007077142A3 (fr) Procede de securisation de l'execution d'un programme d'ordinateur
TW200705273A (en) Method instantly initializing and executing a computer program by using a high-speed data access memory to load kernel program of operating system
WO2006102638A3 (fr) Processeur et procede de lecture indirecte de registres et operations d'ecritures
WO2006014395A3 (fr) Systemes et procedes pour memoire
WO2008157085A3 (fr) Débogueur transactionnel pour un système de mémoire transactionnel
WO2004072848A3 (fr) Procede et appareil pour la detection et la gestion de risques et dans un processeur pipeline numerique
EP1582974A3 (fr) Dispositif et procédé d'exécution d'instructions de longueur variable
WO2007008749A3 (fr) Systeme et procede de commande de plusieurs files de programmes dans un processeur multifile
WO2008057433A3 (fr) Protection de données dans une machnie de jeu de pari

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application
NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 06830776

Country of ref document: EP

Kind code of ref document: A2