FR2993380B1 - Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel - Google Patents

Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel Download PDF

Info

Publication number
FR2993380B1
FR2993380B1 FR1256618A FR1256618A FR2993380B1 FR 2993380 B1 FR2993380 B1 FR 2993380B1 FR 1256618 A FR1256618 A FR 1256618A FR 1256618 A FR1256618 A FR 1256618A FR 2993380 B1 FR2993380 B1 FR 2993380B1
Authority
FR
France
Prior art keywords
program
functional program
protecting
functional
modifying
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.)
Active
Application number
FR1256618A
Other languages
English (en)
Other versions
FR2993380A1 (fr
Inventor
Thanh Ha Le
Julien Bringer
Louis-Philippe Goncalves
Mael Berthier
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.)
Idemia Identity & Security France Fr
Original Assignee
Morpho SA
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 Morpho SA filed Critical Morpho SA
Priority to FR1256618A priority Critical patent/FR2993380B1/fr
Priority to US14/413,860 priority patent/US10148671B2/en
Priority to EP13735012.0A priority patent/EP2873021A1/fr
Priority to PCT/EP2013/064368 priority patent/WO2014009307A1/fr
Publication of FR2993380A1 publication Critical patent/FR2993380A1/fr
Application granted granted Critical
Publication of FR2993380B1 publication Critical patent/FR2993380B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • 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/14—Network architectures or network communication protocols for network security for detecting or protecting against malicious traffic
    • 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/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

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Computing Systems (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Storage Device Security (AREA)

Abstract

La présente invention concerne un procédé pour protéger un programme fonctionnel mémorisé dans une zone mémoire d'une carte électronique contre une attaque par perturbation d'origine électrique destinée à modifier au moins un état logique d'au moins un code de ce programme, ledit procédé comportant : - une étape (1) de mémorisation au cours de laquelle des codes du programme fonctionnel et des codes d'un programme de contrôle destiné à vérifier le comportement logique du programme fonctionnel sont mémorisés au sein de la mémoire de la carte, - une étape (2) d'exécution d'au moins un code du programme fonctionnel suivie par - une étape (3) de vérification des états logiques du programme fonctionnel par exécution du programme de contrôle. Le procédé est caractérisé en ce que au cours de l'étape de mémorisation, les codes du programme de contrôle sont mémorisés dans une zone mémoire formée d'adresses qui sont définies pour que l'attaque par perturbation d'origine électrique n'ait pas d'influence sur les états logiques de ce programme.
FR1256618A 2012-07-10 2012-07-10 Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel Active FR2993380B1 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
FR1256618A FR2993380B1 (fr) 2012-07-10 2012-07-10 Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel
US14/413,860 US10148671B2 (en) 2012-07-10 2013-07-08 Method for protecting a chip card against a physical attack intended to modify the logical behaviour of a functional program
EP13735012.0A EP2873021A1 (fr) 2012-07-10 2013-07-08 Procédé pour protéger une carte à puce contre une attaque physique destinée à modifier le comportement logique d'un programme fonctionnel
PCT/EP2013/064368 WO2014009307A1 (fr) 2012-07-10 2013-07-08 Procédé pour protéger une carte à puce contre une attaque physique destinée à modifier le comportement logique d'un programme fonctionnel

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1256618A FR2993380B1 (fr) 2012-07-10 2012-07-10 Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel
FR1256618 2012-07-10

Publications (2)

Publication Number Publication Date
FR2993380A1 FR2993380A1 (fr) 2014-01-17
FR2993380B1 true FR2993380B1 (fr) 2020-05-15

Family

ID=47624180

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1256618A Active FR2993380B1 (fr) 2012-07-10 2012-07-10 Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel

Country Status (4)

Country Link
US (1) US10148671B2 (fr)
EP (1) EP2873021A1 (fr)
FR (1) FR2993380B1 (fr)
WO (1) WO2014009307A1 (fr)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR3098319A1 (fr) * 2019-07-05 2021-01-08 Commissariat à l'énergie atomique et aux énergies alternatives Procédé d'exécution d'un code binaire d'une fonction sécurisée par un microprocesseur
US11563765B2 (en) * 2020-04-10 2023-01-24 AttackIQ, Inc. Method for emulating a known attack on a target computer network

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3950589B2 (ja) * 1998-08-28 2007-08-01 キヤノン株式会社 情報処理装置、プログラム更新方法および記憶媒体
FR2785422B1 (fr) 1998-10-29 2000-12-15 Schlumberger Ind Sa Dispositif et procede pour la securisation d'un circuit integre
US6591393B1 (en) * 2000-02-18 2003-07-08 Hewlett-Packard Development Company, L.P. Masking error detection/correction latency in multilevel cache transfers
JP3653449B2 (ja) * 2000-06-15 2005-05-25 シャープ株式会社 不揮発性半導体記憶装置
FR2841015A1 (fr) * 2002-06-18 2003-12-19 St Microelectronics Sa Controle d'execution d'un programme
EP1383047A1 (fr) * 2002-07-18 2004-01-21 Cp8 Procédé de sécurisation de l'exécution d'un programme contre des attaques par rayonnement ou autres
NO324607B1 (no) * 2003-11-24 2007-11-26 Thin Film Electronics Asa Fremgangsmate for a betjene et datalagringsapparat som benytter passiv matriseadressering
WO2006133222A2 (fr) * 2005-06-07 2006-12-14 Vmware, Inc. Systeme d'injection de contrainte permettant de proteger des programmes logiciels contre des vulnerabilites et des attaques
US7646636B2 (en) * 2007-02-16 2010-01-12 Mosaid Technologies Incorporated Non-volatile memory with dynamic multi-mode operation
US10360143B2 (en) * 2010-07-01 2019-07-23 Qualcomm Incorporated Parallel use of integrated non-volatile memory and main volatile memory within a mobile device

Also Published As

Publication number Publication date
US10148671B2 (en) 2018-12-04
EP2873021A1 (fr) 2015-05-20
US20150180882A1 (en) 2015-06-25
WO2014009307A1 (fr) 2014-01-16
FR2993380A1 (fr) 2014-01-17

Similar Documents

Publication Publication Date Title
WO2016003820A3 (fr) Système et procédés pour instructions d'opérande à largeur extensible
DE602005016758D1 (de) Speicherkarte, Steuerverfahren für Speicherkarte, Zugriffssteurungsverfahren für Speicherkarte and zugehörige Computerprogramme
WO2016076934A3 (fr) Système de vérification pour transmission sécurisée dans un réseau de traitement distribué
GB201220769D0 (en) Data processing apparatus and method using secure domain and less secure domain
WO2007004219A3 (fr) Systeme, dispositif et procede permettant de verifier qu'un code est execute par un processeur
SG10201407589UA (en) Systems and methods for security verification in electronic learning systems and other systems
WO2013093706A3 (fr) Interfaces utilisateur et appareil et procédés associés
MY176723A (en) Data processing apparatus and method using secure domain and less secure domain
RU2016109436A (ru) Селективное обеспечение соблюдения целостности кода, обеспечиваемое менеджером виртуальной машины
WO2016011445A3 (fr) Système et procédé permettant de vérifier un trafic non humain
JP2016505938A5 (fr)
MX341086B (es) Sistema operativo de contraseña, aparato de contraseña y metodo generador de supercontraseña.
JP2017510000A5 (fr)
US20160103538A1 (en) Electronic device and access control method
EP2637124A3 (fr) Procédé pour la mise en 'uvre de sécurité de mémoire non volatile
JP2014010549A5 (fr)
FR2993380B1 (fr) Procede pour proteger une carte a puce contre une attaque physique destinee a modifier le comportement logique d'un programme fonctionnel
WO2014028663A3 (fr) Schéma de protection pour code intégré
Alenezi et al. Evaluating software metrics as predictors of software vulnerabilities
EP2733613A3 (fr) Dispositif de commande et programme
US20160070467A1 (en) Electronic device and method for displaying virtual keyboard
US20170139584A1 (en) User account switching interface
WO2014124852A3 (fr) Dispositif et procédé pour accélérer la phase de mise à jour d'un noyau de simulation
CN103870745A (zh) 电子设备和安全启动电子设备的方法
US20160188080A1 (en) Mobile terminal and method for input control

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 6

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

PLFP Fee payment

Year of fee payment: 10

PLFP Fee payment

Year of fee payment: 11

CA Change of address

Effective date: 20230220

CD Change of name or company name

Owner name: IDEMIA IDENTITY & SECURITY FRANCE, FR

Effective date: 20230220

PLFP Fee payment

Year of fee payment: 12

PLFP Fee payment

Year of fee payment: 13