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
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.)
Ceased
Application number
PCT/EP2006/060676
Other languages
English (en)
Other versions
WO2006111441A2 (fr
Inventor
Laurent Gauteron
Alexandre Benoit
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.)
Gemplus SA
Original Assignee
Gemplus Card International SA
Gemplus 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 Gemplus Card International SA, Gemplus SA filed Critical Gemplus Card International SA
Priority to US11/918,973 priority Critical patent/US7991953B2/en
Priority to JP2008507033A priority patent/JP5225071B2/ja
Priority to EP06725034A priority patent/EP1880282A2/fr
Publication of WO2006111441A2 publication Critical patent/WO2006111441A2/fr
Anticipated expiration legal-status Critical
Publication of WO2006111441A3 publication Critical patent/WO2006111441A3/fr
Ceased legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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)
  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (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 Ceased WO2006111441A2 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
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
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

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 Ceased 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
FR2884994A1 (fr) 2006-10-27
JP2008537240A (ja) 2008-09-11
US20090049258A1 (en) 2009-02-19
US7991953B2 (en) 2011-08-02
WO2006111441A2 (fr) 2006-10-26
JP5225071B2 (ja) 2013-07-03
EP1880282A2 (fr) 2008-01-23

Similar Documents

Publication Publication Date Title
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
WO2004053841A3 (fr) Appareil et procede destines au traitement de donnees matricielles
WO2003069518A3 (fr) Procede, application logicielle et systeme d'echange de donnees reperes
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
TW200519729A (en) Method for restoring backup data
WO2007109081A3 (fr) Procédé et appareil permettant d'améliorer le fonctionnement d'un système de réduction de pollution
MY151798A (en) System and method for initiating auxiliary communication interfaces via a primary communications interface
WO2006017418A3 (fr) Traitement de documents et technique de gestion permettant d'affecter un evenement a une action dans un environnement de langage markup
WO2009032036A3 (fr) Confiance compatible dans un dispositif informatique
CN105528225A (zh) 应用程序的加载方法及加载装置
WO2008013738A3 (fr) Système virtuel et procédé d'authentification d'utilisateur
WO2006111441A3 (fr) Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce
WO2010009807A8 (fr) Actionneur et installation d'exposition par projection
WO2008146408A1 (fr) Programme de gestion de licences, procédé de contrôle de l'utilisation de logiciels et dispositif de gestion de licences
WO2007100299A3 (fr) Communication d'informations de localisation
WO2011055290A3 (fr) Procédé et appareil permettant un processus d'amorçage rapide et sécurisé
BRPI0512165A (pt) dispositivo eletrÈnico, método para gerenciar um dispositivo eletrÈnico, e, produto de programa de computador
WO2005048109A3 (fr) Systeme, procede et progiciel de test distribue de code de logiciel
WO2004063834A3 (fr) Procede et dispositif de compression d'instructions
WO2005026881A3 (fr) Procede et appareil permettant a une machine virtuelle de realiser un passage de continuations
ATE392674T1 (de) Verfahren und system zur erstellung und zur automatisierten überprüfung von elektronischen tickets
WO2006063919A3 (fr) Detection et affichage de modifications d'etats de logiciels d'appareils de commande de moteur
WO2005064459A3 (fr) Procede de mise a jour d'applications pour carte a puce.

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