FR2809200B1 - Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede - Google Patents

Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede

Info

Publication number
FR2809200B1
FR2809200B1 FR0006882A FR0006882A FR2809200B1 FR 2809200 B1 FR2809200 B1 FR 2809200B1 FR 0006882 A FR0006882 A FR 0006882A FR 0006882 A FR0006882 A FR 0006882A FR 2809200 B1 FR2809200 B1 FR 2809200B1
Authority
FR
France
Prior art keywords
type
board system
series
bits
language
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
FR0006882A
Other languages
English (en)
Other versions
FR2809200A1 (fr
Inventor
Nicolas Fougeroux
Patrice Hameau
Olivier Landier
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 FR0006882A priority Critical patent/FR2809200B1/fr
Application filed by Bull CP8 SA filed Critical Bull CP8 SA
Priority to CN01801757.6A priority patent/CN1269035C/zh
Priority to JP2001585035A priority patent/JP2003533820A/ja
Priority to PCT/FR2001/001506 priority patent/WO2001088705A1/fr
Priority to US10/031,226 priority patent/US20030028742A1/en
Priority to EP01936554A priority patent/EP1287432A1/fr
Priority to AU62437/01A priority patent/AU6243701A/en
Publication of FR2809200A1 publication Critical patent/FR2809200A1/fr
Application granted granted Critical
Publication of FR2809200B1 publication Critical patent/FR2809200B1/fr
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
    • 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/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • 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)
FR0006882A 2000-05-17 2000-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede Expired - Fee Related FR2809200B1 (fr)

Priority Applications (7)

Application Number Priority Date Filing Date Title
FR0006882A FR2809200B1 (fr) 2000-05-17 2000-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede
JP2001585035A JP2003533820A (ja) 2000-05-17 2001-05-17 特に組込システムにおける型付きデータ用型付き言語の安全化方法とその方法を利用する組込システム
PCT/FR2001/001506 WO2001088705A1 (fr) 2000-05-17 2001-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede
US10/031,226 US20030028742A1 (en) 2000-05-17 2001-05-17 Method for securing a typed data language, particularly in an embedded system, and embedded system for implementing the method
CN01801757.6A CN1269035C (zh) 2000-05-17 2001-05-17 一种用于使归类数据语言安全的方法和集成电路
EP01936554A EP1287432A1 (fr) 2000-05-17 2001-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede
AU62437/01A AU6243701A (en) 2000-05-17 2001-05-17 Method for making secure a typed data language in particular in an integrated system and integrated system therefor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0006882A FR2809200B1 (fr) 2000-05-17 2000-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede

Publications (2)

Publication Number Publication Date
FR2809200A1 FR2809200A1 (fr) 2001-11-23
FR2809200B1 true FR2809200B1 (fr) 2003-01-24

Family

ID=8850757

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0006882A Expired - Fee Related FR2809200B1 (fr) 2000-05-17 2000-05-17 Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede

Country Status (7)

Country Link
US (1) US20030028742A1 (fr)
EP (1) EP1287432A1 (fr)
JP (1) JP2003533820A (fr)
CN (1) CN1269035C (fr)
AU (1) AU6243701A (fr)
FR (1) FR2809200B1 (fr)
WO (1) WO2001088705A1 (fr)

Families Citing this family (27)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100174717A1 (en) * 2002-02-28 2010-07-08 Olivier Fambon Interative serialisation procedure for structured software objects
US8010405B1 (en) 2002-07-26 2011-08-30 Visa Usa Inc. Multi-application smart card device software solution for smart cardholder reward selection and redemption
US8015060B2 (en) 2002-09-13 2011-09-06 Visa Usa, Inc. Method and system for managing limited use coupon and coupon prioritization
US9852437B2 (en) 2002-09-13 2017-12-26 Visa U.S.A. Inc. Opt-in/opt-out in loyalty system
US8626577B2 (en) 2002-09-13 2014-01-07 Visa U.S.A Network centric loyalty system
GB2395241B (en) * 2002-11-12 2004-12-29 Knorr Bremse Systeme Electronic control apparatus for a vehicle
US7281244B2 (en) * 2003-01-16 2007-10-09 Sun Microsystems, Inc. Using a digital fingerprint to commit loaded data in a device
US8121955B2 (en) 2003-01-16 2012-02-21 Oracle America, Inc. Signing program data payload sequence in program loading
US20040143739A1 (en) * 2003-01-16 2004-07-22 Sun Mircosystems, Inc., A Delaware Corporation Run time code integrity checks
US7272830B2 (en) * 2003-01-16 2007-09-18 Sun Microsystems, Inc. Ordering program data for loading on a device
US7222331B2 (en) * 2003-01-16 2007-05-22 Sun Microsystems, Inc. Linking of virtual methods
US7484095B2 (en) * 2003-01-16 2009-01-27 Sun Microsystems, Inc. System for communicating program data between a first device and a second device
US7165246B2 (en) * 2003-01-16 2007-01-16 Sun Microsystems, Inc. Optimized representation of data type information in program verification
US7827077B2 (en) 2003-05-02 2010-11-02 Visa U.S.A. Inc. Method and apparatus for management of electronic receipts on portable devices
US8554610B1 (en) 2003-08-29 2013-10-08 Visa U.S.A. Inc. Method and system for providing reward status
US7051923B2 (en) 2003-09-12 2006-05-30 Visa U.S.A., Inc. Method and system for providing interactive cardholder rewards image replacement
US8005763B2 (en) 2003-09-30 2011-08-23 Visa U.S.A. Inc. Method and system for providing a distributed adaptive rules based dynamic pricing system
US8407083B2 (en) 2003-09-30 2013-03-26 Visa U.S.A., Inc. Method and system for managing reward reversal after posting
US7653602B2 (en) 2003-11-06 2010-01-26 Visa U.S.A. Inc. Centralized electronic commerce card transactions
CN100462890C (zh) * 2005-06-16 2009-02-18 北京航空航天大学 智能卡安全环境的控制方法
EP1881404A1 (fr) * 2006-07-20 2008-01-23 Gemplus Procédé de protection dynamique des données lors de l'exécution d'un code logiciel en langage intermédiaire dans un appareil numérique
US20080140979A1 (en) * 2006-12-12 2008-06-12 Kim Sang Cheol Method of allocating stack in multi-threaded sensor operating system environment
US7992781B2 (en) 2009-12-16 2011-08-09 Visa International Service Association Merchant alerts incorporating receipt data
US8429048B2 (en) 2009-12-28 2013-04-23 Visa International Service Association System and method for processing payment transaction receipts
FR3006471A1 (fr) * 2013-05-29 2014-12-05 Morpho Systeme et procede d'execution d'applications d'une carte a puce
FR3010814B1 (fr) * 2013-09-17 2016-12-30 Oberthur Technologies Procede et systeme de securisation d'un environnement d'execution informatique contre les attaques par confusion de type
US9384034B2 (en) * 2014-03-28 2016-07-05 International Business Machines Corporation Detecting operation of a virtual machine

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5748964A (en) * 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US5748963A (en) * 1995-05-12 1998-05-05 Design Intelligence, Inc. Adaptive binding
US6021273A (en) * 1997-06-30 2000-02-01 Sun Microsystems, Inc. Interpreter generation and implementation utilizing interpreter states and register caching
US6651186B1 (en) * 2000-04-28 2003-11-18 Sun Microsystems, Inc. Remote incremental program verification using API definitions

Also Published As

Publication number Publication date
AU6243701A (en) 2001-11-26
JP2003533820A (ja) 2003-11-11
US20030028742A1 (en) 2003-02-06
EP1287432A1 (fr) 2003-03-05
FR2809200A1 (fr) 2001-11-23
WO2001088705A1 (fr) 2001-11-22
CN1383505A (zh) 2002-12-04
CN1269035C (zh) 2006-08-09

Similar Documents

Publication Publication Date Title
FR2809200B1 (fr) Procede de securisation d'un langage du type a donnees typees, notamment dans un systeme embarque et systeme embarque de mise en oeuvre du procede
US8225076B1 (en) Scoreboard having size indicators for tracking sequential destination register usage in a multi-threaded processor
US7769984B2 (en) Dual-issuance of microprocessor instructions using dual dependency matrices
EP3846040A1 (fr) Appareil de traitement de données de réseau neuronal, procédé et dispositif électronique
US10778815B2 (en) Methods and systems for parsing and executing instructions to retrieve data using autonomous memory
CN101446890A (zh) 流处理装置、流处理方法和数据处理系统
JPS63199341U (fr)
TW331613B (en) Database system and method for searching data in the database system.
US20160313914A1 (en) Systems and methods for improved access to flash memory devices
CN104049947B (zh) 基于动态重命名的矢量寄存器堆的寄存器重新配置
GB2368430A (en) Method and apparatus for enhancing recovery operations in disk array storage devices
ATE463011T1 (de) Hierarchische prozessorarchitektur zur videoverarbeitung
WO2002069601A3 (fr) Liaison de donnees en blocs par insertion de qualificatifs dans des blocs de commande
ATE212739T1 (de) Ecc-geschützte speicherorganisation mit lese- änderungs-schreib-pipelinezugriff
US4800490A (en) Buffer storage control system having a priority circuit
EP0651532A3 (fr) Procédé pour le chiffrage/déchiffrage séquentiel du code source d'un ordinateur, enregistré de façon externe
US7080235B1 (en) Device and method for generating and executing compressed programs of a very long instruction word processor
CN102542525A (zh) 一种信息处理设备以及信息处理方法
CN107045606B (zh) 用于监测程序代码的执行的方法和设备
WO2005111792A3 (fr) Assembleur de faible puissance
US6205546B1 (en) Computer system having a multi-pointer branch instruction and method
KR102028729B1 (ko) 정적 스케쥴 프로세서의 논블로킹 실행 장치 및 방법
CN108874729B (zh) 芯片互联多应用有效映射方法、系统及内容寻址存储器
CN102376325A (zh) 一种多音频文件的混合播放系统及其控制方法
JP2009524879A (ja) プロテクトされたアプリケーションプログラムとシェルコードとの結合

Legal Events

Date Code Title Description
ST Notification of lapse