WO2006111441A3 - Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce - Google Patents

Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce Download PDF

Info

Publication number
WO2006111441A3
WO2006111441A3 PCT/EP2006/060676 EP2006060676W WO2006111441A3 WO 2006111441 A3 WO2006111441 A3 WO 2006111441A3 EP 2006060676 W EP2006060676 W EP 2006060676W WO 2006111441 A3 WO2006111441 A3 WO 2006111441A3
Authority
WO
WIPO (PCT)
Prior art keywords
verification
application
chipcard
pseudo
code
Prior art date
Application number
PCT/EP2006/060676
Other languages
English (en)
Other versions
WO2006111441A2 (fr
Inventor
Laurent Gauteron
Alexandre Benoit
Original Assignee
Gemplus Card Int
Laurent Gauteron
Alexandre 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 Card Int, Laurent Gauteron, Alexandre Benoit filed Critical Gemplus Card Int
Priority to JP2008507033A priority Critical patent/JP5225071B2/ja
Priority to EP06725034A priority patent/EP1880282A2/fr
Priority to US11/918,973 priority patent/US7991953B2/en
Publication of WO2006111441A2 publication Critical patent/WO2006111441A2/fr
Publication of WO2006111441A3 publication Critical patent/WO2006111441A3/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Debugging And Monitoring (AREA)
  • Storage Device Security (AREA)

Abstract

La présente invention concerne la vérification d'applications en langage interprété de type bytecode (pseudo-code) chargées sur des dispositifs électroniques portables, notamment une carte à puce. La présente invention se rapporte à un procédé de vérification d'une application (31) interprétable par une machine virtuelle (42), ladite application étant chargée dans un dispositif électronique portable (1) comprenant au moins un processeur (2) et une mémoire vive (5), le procédé consistant à procéder, après le chargement de ladite application dans le dispositif et avant sa validation, à des contrôles sur le code de ladite application par un traitement mis en œuvre par le processeur (2) caractérisé en ce qu'il comporte : lors d'un appel à un sous-programme, une étape de sauvegarde du contexte courant de vérification (200 à 203) dans la mémoire vive (5) , une étape de création et d' activation d'un nouveau contexte de vérification (206 à 209) dédié au sous- programme, lors de la fin du sous-programme, une étape de restauration du contexte de vérification (200 à 203) précédemment sauvegardé.
PCT/EP2006/060676 2005-04-22 2006-03-14 Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce WO2006111441A2 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP2008507033A JP5225071B2 (ja) 2005-04-22 2006-03-14 埋め込みシステム、特にスマートカードにロードされる疑似コードの検証方法
EP06725034A EP1880282A2 (fr) 2005-04-22 2006-03-14 Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce
US11/918,973 US7991953B2 (en) 2005-04-22 2006-03-14 Method of verifying pseudo-code loaded in an embedded system, in particular a smart card

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0551036 2005-04-22
FR0551036A FR2884994A1 (fr) 2005-04-22 2005-04-22 Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce

Publications (2)

Publication Number Publication Date
WO2006111441A2 WO2006111441A2 (fr) 2006-10-26
WO2006111441A3 true WO2006111441A3 (fr) 2007-12-21

Family

ID=35229912

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/EP2006/060676 WO2006111441A2 (fr) 2005-04-22 2006-03-14 Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce

Country Status (5)

Country Link
US (1) US7991953B2 (fr)
EP (1) EP1880282A2 (fr)
JP (1) JP5225071B2 (fr)
FR (1) FR2884994A1 (fr)
WO (1) WO2006111441A2 (fr)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2938091B1 (fr) * 2008-10-30 2010-12-31 Caps Entpr Procede de realisation d'un appel d'une instance d'une fonction, dispositif, programme d'ordinateur correspondant
US8626919B1 (en) 2008-11-07 2014-01-07 Google Inc. Installer-free applications using native code modules and persistent local storage
US20120159449A1 (en) * 2010-12-15 2012-06-21 International Business Machines Corporation Call Stack Inspection For A Thread Of Execution
EP2782006B1 (fr) * 2013-03-19 2018-06-13 Nxp B.V. Procédé et système permettant de vérifier un programme informatique sur une carte à puce
KR101583133B1 (ko) * 2014-03-26 2016-01-07 단국대학교 산학협력단 스택 기반 소프트웨어 유사도 평가 방법 및 장치
CN106845225A (zh) * 2016-12-20 2017-06-13 北京中电华大电子设计有限责任公司 一种java卡帧的边界检查方法
CN109144775A (zh) * 2018-06-30 2019-01-04 深圳市文鼎创数据科技有限公司 智能卡的应用数据备份恢复方法、电子设备及存储介质
RU2720254C1 (ru) * 2019-12-05 2020-04-28 Акционерное общество "Актив-софт" (АО "Актив-софт") Способ восстановления и обновления программного обеспечения на смарт-карте

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2797963A1 (fr) * 1999-08-23 2001-03-02 Trusted Logic Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants
FR2840084A1 (fr) * 2002-05-27 2003-11-28 Gemplus Card Int Procede de verification de codes pour microcircuits a ressources limitees

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6092147A (en) * 1997-04-15 2000-07-18 Sun Microsystems, Inc. Virtual machine with securely distributed bytecode verification
US7120572B1 (en) * 2000-01-06 2006-10-10 Sun Microsystems, Inc. Memory efficient program pre-execution verifier and method
US20040153709A1 (en) * 2002-07-03 2004-08-05 Burton-Krahn Noel Morgen Method and apparatus for providing transparent fault tolerance within an application server environment
US20050277432A1 (en) * 2003-11-26 2005-12-15 Viana Rodrigo B D Dynamic display generation for mobile communication devices

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2797963A1 (fr) * 1999-08-23 2001-03-02 Trusted Logic Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants
FR2840084A1 (fr) * 2002-05-27 2003-11-28 Gemplus Card Int Procede de verification de codes pour microcircuits a ressources limitees

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
A. COGLIO: "Simple verification technique for complex Java bytecode subroutines", CONCURRENCY AND COMPUTATION PRACTICE & EXPERIENCE, vol. 16, no. 7, June 2004 (2004-06-01), pages 647 - 670, XP002353719 *
XAVIER LEROY: "JAVA BYTECODE VERIFICATION: ALGORITHMS AND FORMALIZATIONS", JOURNAL OF AUTOMATED REASONING, vol. 30, no. 3-4, 2003, pages 235 - 269, XP008053088 *

Also Published As

Publication number Publication date
JP5225071B2 (ja) 2013-07-03
FR2884994A1 (fr) 2006-10-27
EP1880282A2 (fr) 2008-01-23
WO2006111441A2 (fr) 2006-10-26
US7991953B2 (en) 2011-08-02
US20090049258A1 (en) 2009-02-19
JP2008537240A (ja) 2008-09-11

Similar Documents

Publication Publication Date Title
WO2006111441A3 (fr) Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce
WO2007095552A3 (fr) Systeme et procede pour la generation et l'execution d'une emulation de plateforme basee sur une application selectionnee
MY151697A (en) Virtualization for diversified tamper resistance
EP1674965A3 (fr) Gestion de la sécurité informatique, par exemple dans une machine virtuelle ou un système d'exploitation protégé
EP1003101A3 (fr) Appareil et système pour la livraison et mise en oeuvre efficace d'une application
WO2004013734A3 (fr) Procede et systeme pour executer des applications sur un dispositif mobile
TW200610336A (en) System and method for initiating auxiliary communication interfaces via a primary communication interface
WO2004019182A3 (fr) Activation selective de fonctions
WO2008124730A3 (fr) Procédé d'entrée client
TW200519729A (en) Method for restoring backup data
WO2005076126A3 (fr) Procede, systeme et application logicielle de traitement de donnees base sur des evenements
WO2009032036A3 (fr) Confiance compatible dans un dispositif informatique
WO2003069522A3 (fr) Procede, application logicielle et systeme pour echanger des bancs d'essai
BRPI0512165A (pt) dispositivo eletrÈnico, método para gerenciar um dispositivo eletrÈnico, e, produto de programa de computador
PL1750220T3 (pl) Sposób i system tworzenia oraz zautomatyzowanej kontroli biletów elektronicznych
WO2008146408A1 (fr) Programme de gestion de licences, procédé de contrôle de l'utilisation de logiciels et dispositif de gestion de licences
WO2007100299A8 (fr) Communication d'informations de localisation
TW200513949A (en) Information processing device and information processing terminal
WO2004079513A3 (fr) Systeme et procede permettant de determiner a quel moment un compilateur ejb doit etre execute
EP0977118A3 (fr) Méthode et appareil de traitement de données
WO2004063834A3 (fr) Procede et dispositif de compression d'instructions
WO2007072167A3 (fr) Décompresseur de message de signal
WO2011055290A3 (fr) Procédé et appareil permettant un processus d'amorçage rapide et sécurisé
WO2005026881A3 (fr) Procede et appareil permettant a une machine virtuelle de realiser un passage de continuations
DE502005005915D1 (de) Verfahren, betriebssystem und rechengerät zum abarbeiten eines computerprogramms

Legal Events

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

Ref document number: 2008507033

Country of ref document: JP

Ref document number: 11918973

Country of ref document: US

NENP Non-entry into the national phase

Ref country code: DE

WWW Wipo information: withdrawn in national office

Ref document number: DE

REEP Request for entry into the european phase

Ref document number: 2006725034

Country of ref document: EP

WWE Wipo information: entry into national phase

Ref document number: 2006725034

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: RU

WWW Wipo information: withdrawn in national office

Ref document number: RU

WWP Wipo information: published in national office

Ref document number: 2006725034

Country of ref document: EP