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 AU62437/01A priority patent/AU6243701A/en
Priority to JP2001585035A priority patent/JP2003533820A/ja
Priority to CN01801757.6A priority patent/CN1269035C/zh
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
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 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/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 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)
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 特に組込システムにおける型付きデータ用型付き言語の安全化方法とその方法を利用する組込システム
CN01801757.6A CN1269035C (zh) 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
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
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
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

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 (31)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB0106082D0 (en) 2001-03-13 2001-05-02 Mat & Separations Tech Int Ltd Method and equipment for removing volatile compounds from air
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
US9852437B2 (en) 2002-09-13 2017-12-26 Visa U.S.A. Inc. Opt-in/opt-out in loyalty system
US7121456B2 (en) 2002-09-13 2006-10-17 Visa U.S.A. Inc. Method and system for managing token image replacement
US8626577B2 (en) 2002-09-13 2014-01-07 Visa U.S.A Network centric loyalty system
US8015060B2 (en) 2002-09-13 2011-09-06 Visa Usa, Inc. Method and system for managing limited use coupon and coupon prioritization
GB2395241B (en) * 2002-11-12 2004-12-29 Knorr Bremse Systeme Electronic control apparatus for a vehicle
US6920611B1 (en) 2002-11-25 2005-07-19 Visa U.S.A., Inc. Method and system for implementing a loyalty merchant component
US7281244B2 (en) * 2003-01-16 2007-10-09 Sun Microsystems, Inc. Using a digital fingerprint to commit loaded data in a device
US7484095B2 (en) * 2003-01-16 2009-01-27 Sun Microsystems, Inc. System for communicating program data between a first device and a second device
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
US7165246B2 (en) * 2003-01-16 2007-01-16 Sun Microsystems, Inc. Optimized representation of data type information in program verification
US20040143739A1 (en) * 2003-01-16 2004-07-22 Sun Mircosystems, Inc., A Delaware Corporation Run time code integrity checks
US8121955B2 (en) * 2003-01-16 2012-02-21 Oracle America, Inc. Signing program data payload sequence in program loading
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
US7104446B2 (en) 2003-09-03 2006-09-12 Visa U.S.A., Inc. Method, system and portable consumer device using wildcard values
US7051923B2 (en) 2003-09-12 2006-05-30 Visa U.S.A., Inc. Method and system for providing interactive cardholder rewards image replacement
US8407083B2 (en) 2003-09-30 2013-03-26 Visa U.S.A., Inc. Method and system for managing reward reversal after posting
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
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
CN1383505A (zh) 2002-12-04
AU6243701A (en) 2001-11-26
FR2809200A1 (fr) 2001-11-23
US20030028742A1 (en) 2003-02-06
CN1269035C (zh) 2006-08-09
WO2001088705A1 (fr) 2001-11-22
EP1287432A1 (fr) 2003-03-05
JP2003533820A (ja) 2003-11-11

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
KR102707631B1 (ko) 연산 회로를 포함하는 메모리 장치, 이를 제어하는 메모리 컨트롤러 및 이를 포함하는 메모리 시스템
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
WO2003093982A8 (fr) Systeme et procede permettant de relier des resultats speculatifs d'operations de charge pour enregistrer des valeurs
US10778815B2 (en) Methods and systems for parsing and executing instructions to retrieve data using autonomous memory
ATE244417T1 (de) Echtzeitprogramm-sprachbeschleuniger
JPS63199341U (fr)
US20250124176A1 (en) Key management method, data protection method, system, chip, and computer device
TW331613B (en) Database system and method for searching data in the database system.
US12047484B2 (en) Method for executing a function, secured by temporal desynchronization
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
EP0651532A3 (fr) Procédé pour le chiffrage/déchiffrage séquentiel du code source d'un ordinateur, enregistré de façon externe
CN102542525A (zh) 一种信息处理设备以及信息处理方法
EP0870237B1 (fr) Systeme de traitement et procede de lecture et de retablissement des donnees dans une configuration ram
US7080235B1 (en) Device and method for generating and executing compressed programs of a very long instruction word processor
ATE463011T1 (de) Hierarchische prozessorarchitektur zur videoverarbeitung
CN108874729B (zh) 芯片互联多应用有效映射方法、系统及内容寻址存储器
US6205546B1 (en) Computer system having a multi-pointer branch instruction and method
KR102028729B1 (ko) 정적 스케쥴 프로세서의 논블로킹 실행 장치 및 방법
WO2005111792A3 (fr) Assembleur de faible puissance
EP0945793B1 (fr) Système d'ordinateur ayant une instruction et méthode de branchement a pointeur unique
JPH11265290A (ja) プログラムロード方法
CN117931729A (zh) 向量处理器访存指令处理方法和系统

Legal Events

Date Code Title Description
ST Notification of lapse