FR2795835B1 - Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce - Google Patents

Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce

Info

Publication number
FR2795835B1
FR2795835B1 FR9908460A FR9908460A FR2795835B1 FR 2795835 B1 FR2795835 B1 FR 2795835B1 FR 9908460 A FR9908460 A FR 9908460A FR 9908460 A FR9908460 A FR 9908460A FR 2795835 B1 FR2795835 B1 FR 2795835B1
Authority
FR
France
Prior art keywords
chip card
board system
verifying code
code transformers
transformers
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.)
Expired - Fee Related
Application number
FR9908460A
Other languages
English (en)
Other versions
FR2795835A1 (fr
Inventor
Christian Goire
Thomas Jensen
Pascal Fradet
Metayer Daniel Le
Ewen Denney
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.)
Bull CP8 SA
Original Assignee
Bull CP8 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
Priority to FR9908460A priority Critical patent/FR2795835B1/fr
Application filed by Bull CP8 SA filed Critical Bull CP8 SA
Priority to PCT/FR2000/001815 priority patent/WO2001002955A1/fr
Priority to US09/786,114 priority patent/US7020872B1/en
Priority to EP00946037A priority patent/EP1112536A1/fr
Priority to CA2342322A priority patent/CA2342322C/fr
Priority to CNB008013101A priority patent/CN1231838C/zh
Priority to BR0006883-7A priority patent/BR0006883A/pt
Priority to JP2001508686A priority patent/JP2003525482A/ja
Publication of FR2795835A1 publication Critical patent/FR2795835A1/fr
Application granted granted Critical
Publication of FR2795835B1 publication Critical patent/FR2795835B1/fr
Priority to HK02101583.9A priority patent/HK1040304B/zh
Priority to JP2011206844A priority patent/JP2012027936A/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/52—Binary to binary
    • 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)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Debugging And Monitoring (AREA)
  • Hardware Redundancy (AREA)
  • Storage Device Security (AREA)
FR9908460A 1999-07-01 1999-07-01 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce Expired - Fee Related FR2795835B1 (fr)

Priority Applications (10)

Application Number Priority Date Filing Date Title
FR9908460A FR2795835B1 (fr) 1999-07-01 1999-07-01 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
JP2001508686A JP2003525482A (ja) 1999-07-01 2000-06-28 Ｉｃカード上に搭載されたシステムのコード変換器の検証方法
EP00946037A EP1112536A1 (fr) 1999-07-01 2000-06-28 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
CA2342322A CA2342322C (fr) 1999-07-01 2000-06-28 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
CNB008013101A CN1231838C (zh) 1999-07-01 2000-06-28 用于一种嵌入式系统的代码变换器的检验方法
BR0006883-7A BR0006883A (pt) 1999-07-01 2000-06-28 Processo de verificação de um transformador de código, e, aplicação do processo de verificação
PCT/FR2000/001815 WO2001002955A1 (fr) 1999-07-01 2000-06-28 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
US09/786,114 US7020872B1 (en) 1999-07-01 2000-06-28 Method for verifying code transformers for an incorporated system, in particular in a chip card
HK02101583.9A HK1040304B (zh) 1999-07-01 2002-03-01 用於一種嵌入式系統的代碼變換器的檢驗方法
JP2011206844A JP2012027936A (ja) 1999-07-01 2011-09-22 Ｉｃカード上に搭載されたシステムのコード変換器の検証方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9908460A FR2795835B1 (fr) 1999-07-01 1999-07-01 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce

Publications (2)

Publication Number Publication Date
FR2795835A1 FR2795835A1 (fr) 2001-01-05
FR2795835B1 true FR2795835B1 (fr) 2001-10-05

Family

ID=9547574

Family Applications (1)

Application Number Title Priority Date Filing Date
FR9908460A Expired - Fee Related FR2795835B1 (fr) 1999-07-01 1999-07-01 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce

Country Status (9)

Country Link
US (1) US7020872B1 (fr)
EP (1) EP1112536A1 (fr)
JP (2) JP2003525482A (fr)
CN (1) CN1231838C (fr)
BR (1) BR0006883A (fr)
CA (1) CA2342322C (fr)
FR (1) FR2795835B1 (fr)
HK (1) HK1040304B (fr)
WO (1) WO2001002955A1 (fr)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2840084A1 (fr) * 2002-05-27 2003-11-28 Gemplus Card Int Procede de verification de codes pour microcircuits a ressources limitees
US7734990B2 (en) * 2004-05-26 2010-06-08 Nec Corporation Spatial-multiplexed signal detection method and spatial and temporal iterative decoder that uses this method
KR100804207B1 (ko) 2006-08-01 2008-02-18 성인환 인삼씨를 재료로 하는 인삼차의 제조방법
US7810073B2 (en) * 2006-09-05 2010-10-05 International Business Machines Corporation Method of translating n to n instructions employing an enhanced extended translation facility
CN101458638B (zh) * 2007-12-13 2010-09-01 安凯(广州)微电子技术有限公司 一种用于嵌入式系统的大规模数据验证方法
US8799984B2 (en) * 2008-05-27 2014-08-05 Open Invention Network, Llc User agent to exercise privacy control management in a user-centric identity management system
CN101382892B (zh) * 2008-09-24 2012-04-18 飞天诚信科技股份有限公司 下载.Net程序的方法和装置
US20120054501A1 (en) * 2010-08-25 2012-03-01 Toshiba Tec Kabushiki Kaisha Image processing apparatus
US8789033B2 (en) * 2012-02-03 2014-07-22 International Business Machines Corporation Reducing application startup time by optimizing spatial locality of instructions in executables
CN106201896A (zh) * 2016-07-26 2016-12-07 华中科技大学 一种嵌入式环境下基于检查点的调试方法、系统及装置
DE102018122920A1 (de) * 2018-09-19 2020-03-19 Endress+Hauser Conducta Gmbh+Co. Kg Verfahren zur Installation eines Programms auf einem eingebetteten System, ein eingebettetes System für ein derartiges Verfahren sowie ein Verfahren zur Erstellung einer Zusatzinformation

Family Cites Families (27)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4736320A (en) * 1985-10-08 1988-04-05 Foxboro Company Computer language structure for process control applications, and translator therefor
DE3731736A1 (de) * 1986-09-27 1988-04-07 Toshiba Kawasaki Kk Verarbeitungssystem fuer tragbare elektronische vorrichtung
EP0722596A4 (fr) * 1991-11-12 1997-03-05 Security Domain Pty Ltd Procede et systeme de personnalisation securisee et decentralisee de cartes a memoire
US5293424A (en) * 1992-10-14 1994-03-08 Bull Hn Information Systems Inc. Secure memory card
GB9307623D0 (en) * 1993-04-13 1993-06-02 Jonhig Ltd Data writing to eeprom
EP0795844A1 (fr) * 1996-03-11 1997-09-17 Koninklijke KPN N.V. Méthode pour modifier avec sécurité des données d'une carte à puce
US5889941A (en) * 1996-04-15 1999-03-30 Ubiq Inc. System and apparatus for smart card personalization
US5923884A (en) * 1996-08-30 1999-07-13 Gemplus S.C.A. System and method for loading applications onto a smart card
CN1183449C (zh) * 1996-10-25 2005-01-05 施卢默格系统公司 用微控制器使用高级程序设计语言
FR2757970B1 (fr) * 1996-12-30 1999-03-26 Gemplus Card Int Procede de chargement d'un programme d'utilisation dans un support a puce
ATE281680T1 (de) * 1997-03-24 2004-11-15 Visa Int Service Ass System und verfahren für eine mehrzweckchipkarte die eine nachträgliche speicherung einer anwendung auf dieser karte ermöglicht
JPH1165832A (ja) * 1997-08-21 1999-03-09 Sony Corp ソースコード変換方法及び記録媒体
US5987256A (en) * 1997-09-03 1999-11-16 Enreach Technology, Inc. System and process for object rendering on thin client platforms
US6128774A (en) * 1997-10-28 2000-10-03 Necula; George C. Safe to execute verification of software
US6253370B1 (en) * 1997-12-01 2001-06-26 Compaq Computer Corporation Method and apparatus for annotating a computer program to facilitate subsequent processing of the program
US6324685B1 (en) * 1998-03-18 2001-11-27 Becomm Corporation Applet server that provides applets in various forms
US5999732A (en) * 1998-03-23 1999-12-07 Sun Microsystems, Inc. Techniques for reducing the cost of dynamic class initialization checks in compiled code
US6216227B1 (en) * 1998-06-29 2001-04-10 Sun Microsystems, Inc. Multi-venue ticketing using smart cards
US6591229B1 (en) * 1998-10-09 2003-07-08 Schlumberger Industries, Sa Metrology device with programmable smart card
AU770396B2 (en) * 1998-10-27 2004-02-19 Visa International Service Association Delegated management of smart card applications
EP0997815A3 (fr) * 1998-10-29 2004-05-26 Texas Instruments Incorporated Système interactif et méthode interactive de traduction
US6115719A (en) * 1998-11-20 2000-09-05 Revsoft Corporation Java compatible object oriented component data structure
JP3173728B2 (ja) * 1998-12-07 2001-06-04 日本電気株式会社 半導体装置
US6390374B1 (en) * 1999-01-15 2002-05-21 Todd Carper System and method for installing/de-installing an application on a smart card
US6256690B1 (en) * 1999-01-15 2001-07-03 Todd Carper System and method for facilitating multiple applications on a smart card
US6581206B2 (en) * 1999-11-12 2003-06-17 Sun Microsystems, Inc. Computer program language subset validation
FR2794543B1 (fr) * 1999-06-04 2001-08-24 Gemplus Card Int Migration de differents langages sources vers un support d'execution

Also Published As

Publication number Publication date
JP2003525482A (ja) 2003-08-26
CA2342322C (fr) 2011-10-18
FR2795835A1 (fr) 2001-01-05
HK1040304A1 (en) 2002-05-31
CN1316073A (zh) 2001-10-03
JP2012027936A (ja) 2012-02-09
CN1231838C (zh) 2005-12-14
BR0006883A (pt) 2001-06-12
US7020872B1 (en) 2006-03-28
CA2342322A1 (fr) 2001-01-11
EP1112536A1 (fr) 2001-07-04
HK1040304B (zh) 2006-03-10
WO2001002955A1 (fr) 2001-01-11

Similar Documents

Publication Publication Date Title
IL138875A (en) Information code product, manufacturing device and method for manufacturing the same, information code reading device, authentication system, authentication terminal, authentication server and authentication method
MXPA03008503A (es) Sistema de transacciones con tarjetas de credito hibridas.
FR2785694B1 (fr) Systeme de personnalisation de cartes a puce
IL138462A0 (en) Method for making tamper-preventing, contact-type smart cards
HK1070150A1 (en) Communication system, card management server and communication method
GB0107779D0 (en) An automatic number plate recognition system
HK1046448B (zh) 信息處理系統和方法、電子貨幣服務提供系統
ZA200204228B (en) Electronic parking meter system.
FR2890760B1 (fr) Systeme et procede de guidage.
HK1032125A1 (en) Chip card comprising means for managing a virtual memory, associated communication method.
FR2795835B1 (fr) Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
FR2773302B1 (fr) Dispositif lecteur de carte, notamment de carte a puce
AU5272901A (en) Method for producing identification code, and method and system for giving electronic notice service and electronic meter reading service by using the same
HK1028661A1 (en) Method for managing collisions in a contactless data exchanging system.
DE60140875D1 (de) Im fahrzeug eingebautes, elektronisches Geräte-System
IT1307479B1 (it) Sistema e metodo di elaborazione di dati, e apparato e metodo perinviare e ricevere dati.
SG96234A1 (en) Card system, ic card and card reader/writer used for the card system
FR2843341B1 (fr) Systeme de controle distribue pour un dispositif de direction et un dispositif de freinage electriques, notamment pour vehicules
GB2367405B (en) A system and a method for requesting information from a dealer system through a manufacturer server system
GB0113386D0 (en) An identification system reading device
ITBO940266A0 (it) Transponder passivo, particolarmente per un sistema di identificazioneautomatica a radiofrequenza.
SG97866A1 (en) Method system for deploying smart card applications over data networks
FR2827062B1 (fr) Systeme, procede a carte prepayee internet securisee
FR2815434B1 (fr) Procede de verification de coherence de codes destines a un systeme embarque, notamment une carte a puce
ZA200002166B (en) Interrogator for electronic identification system.

Legal Events

Date Code Title Description
ST Notification of lapse

Effective date: 20100331