ATE252742T1 - Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme - Google Patents

Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme

Info

Publication number
ATE252742T1
ATE252742T1 AT00958714T AT00958714T ATE252742T1 AT E252742 T1 ATE252742 T1 AT E252742T1 AT 00958714 T AT00958714 T AT 00958714T AT 00958714 T AT00958714 T AT 00958714T AT E252742 T1 ATE252742 T1 AT E252742T1
Authority
AT
Austria
Prior art keywords
instruction
program fragment
target
verification process
transformation
Prior art date
Application number
AT00958714T
Other languages
German (de)
English (en)
Inventor
Xavier Leroy
Original Assignee
Trusted Logic
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 Trusted Logic filed Critical Trusted Logic
Application granted granted Critical
Publication of ATE252742T1 publication Critical patent/ATE252742T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 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)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Communication Control (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
AT00958714T 1999-08-23 2000-08-21 Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme ATE252742T1 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR9910697A FR2797963B1 (fr) 1999-08-23 1999-08-23 Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants
PCT/FR2000/002349 WO2001014958A2 (fr) 1999-08-23 2000-08-21 Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants

Publications (1)

Publication Number Publication Date
ATE252742T1 true ATE252742T1 (de) 2003-11-15

Family

ID=9549281

Family Applications (1)

Application Number Title Priority Date Filing Date
AT00958714T ATE252742T1 (de) 1999-08-23 2000-08-21 Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme

Country Status (11)

Country Link
US (1) US7720939B1 (enExample)
EP (1) EP1212678B1 (enExample)
JP (1) JP2003507811A (enExample)
CN (1) CN1220939C (enExample)
AT (1) ATE252742T1 (enExample)
AU (1) AU769363B2 (enExample)
CA (1) CA2382003C (enExample)
DE (1) DE60006141T2 (enExample)
ES (1) ES2209969T3 (enExample)
FR (1) FR2797963B1 (enExample)
WO (1) WO2001014958A2 (enExample)

Families Citing this family (37)

* 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
US7158993B1 (en) 1999-11-12 2007-01-02 Sun Microsystems, Inc. API representation enabling submerged hierarchy
US6363523B1 (en) 1999-11-12 2002-03-26 Sun Microsystems, Inc. Optimization of N-base typed arithmetic expressions
US8453133B2 (en) 1999-11-12 2013-05-28 Oracle America, Inc. Optimization of N-base typed arithmetic instructions via rework
US7107581B2 (en) 1999-11-12 2006-09-12 Sun Microsystems, Inc. Overflow predictive arithmetic instruction optimization using chaining
US7010786B2 (en) 1999-11-12 2006-03-07 Sun Microsystems, Inc. Predictive arithmetic overflow detection
US7207037B2 (en) 1999-11-12 2007-04-17 Sun Microsystems, Inc. Overflow sensitive arithmetic instruction optimization using chaining
US6883163B1 (en) 2000-04-28 2005-04-19 Sun Microsystems, Inc. Populating resource-constrained devices with content verified using API definitions
US6651186B1 (en) 2000-04-28 2003-11-18 Sun Microsystems, Inc. Remote incremental program verification using API definitions
US6986132B1 (en) 2000-04-28 2006-01-10 Sun Microsytems, Inc. Remote incremental program binary compatibility verification using API definitions
US6981245B1 (en) 2000-09-14 2005-12-27 Sun Microsystems, Inc. Populating binary compatible resource-constrained devices with content verified using API definitions
US20100174717A1 (en) * 2002-02-28 2010-07-08 Olivier Fambon Interative serialisation procedure for structured software objects
FR2840084A1 (fr) * 2002-05-27 2003-11-28 Gemplus Card Int Procede de verification de codes pour microcircuits a ressources limitees
US20040003380A1 (en) * 2002-06-26 2004-01-01 Microsoft Corporation Single pass intermediate language verification algorithm
US20040163087A1 (en) * 2003-02-14 2004-08-19 Carl Sandland Computer program code and method for delivering external data to a process running on a virtual machine
AU2004237808B2 (en) * 2003-02-14 2010-08-12 Actividentity (Australia) Pty Ltd System and method for delivering external data to a process running on a virtual machine
FR2853741B1 (fr) 2003-04-14 2005-09-09 Gemplus Card Int Procede de gestion d'un code executable telecharge dans un systeme embarque reprogrammable
US7574695B2 (en) * 2003-12-23 2009-08-11 Ntt Docomo, Inc. Performing checks on the resource usage of computer programs
US7908653B2 (en) * 2004-06-29 2011-03-15 Intel Corporation Method of improving computer security through sandboxing
FR2884994A1 (fr) * 2005-04-22 2006-10-27 Gemplus Sa Procede de verification de pseudo-code charge dans un systeme embarque, notamment une carte a puce
DE102005026384A1 (de) * 2005-06-08 2006-12-14 Giesecke & Devrient Gmbh Validierung eines zur nativen Ausführung durch einen Prozessor eines Datenträgers vorgesehenen Programms
CN101321353B (zh) * 2008-07-14 2011-08-24 中兴通讯股份有限公司 一种支持Java应用下载空间检测的方法
CN102479155B (zh) * 2010-11-30 2014-07-02 国际商业机器公司 用于网络应用服务器系统的内存过载管理的方法和系统
CN102063371A (zh) * 2010-12-29 2011-05-18 大唐微电子技术有限公司 验证芯片处理器逻辑设计的方法和系统
CN102591696A (zh) * 2011-01-14 2012-07-18 中国科学院软件研究所 一种手机软件行为数据提取方法及系统
US8874688B1 (en) * 2012-01-11 2014-10-28 Amazon Technologies, Inc. Securing execution of customer-supplied network page generation code
US8819477B1 (en) 2012-02-01 2014-08-26 Amazon Technologies, Inc. Error handling in a network page generation environment
US9800455B1 (en) 2012-02-08 2017-10-24 Amazon Technologies, Inc. Log monitoring system
KR101412576B1 (ko) * 2012-06-27 2014-06-27 한국과학기술원 가상 보드 플랫폼, 시스템-온-칩 시뮬레이션 장치, 시스템-온-칩 시뮬레이션 방법 및 시스템-온-칩 검증 방법
US10089089B2 (en) * 2015-06-03 2018-10-02 The Mathworks, Inc. Data type reassignment
US10409600B1 (en) 2016-01-25 2019-09-10 Apple Inc. Return-oriented programming (ROP)/jump oriented programming (JOP) attack protection
US9977725B2 (en) * 2016-08-26 2018-05-22 Cisco Technology, Inc. Automatic classification and parallel processing of untested code in a protected runtime environment
EP3435270B1 (de) * 2017-07-27 2020-09-23 Siemens Aktiengesellschaft Vorrichtung und verfahren zum kryptographisch geschützten betrieb einer virtuellen maschine
CN109968359A (zh) * 2019-03-28 2019-07-05 台州九牛慧联机器人技术有限公司 一种工业机器人控制系统
CN112905196A (zh) * 2019-11-19 2021-06-04 广州汽车集团股份有限公司 软件更新的方法、装置及存储介质
CN111679945A (zh) 2020-06-12 2020-09-18 地平线(上海)人工智能技术有限公司 处理器的检测方法、装置及计算机可读存储介质
CN113127285B (zh) * 2021-06-17 2021-10-08 北京燧原智能科技有限公司 一种错误数据调试方法、装置、芯片及计算机设备

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4571678A (en) * 1982-11-05 1986-02-18 International Business Machines Corporation Register allocation and spilling via graph coloring
US5249295A (en) * 1990-06-20 1993-09-28 Rice University Digital computer register allocation and code spilling using interference graph coloring
US5276881A (en) * 1990-06-25 1994-01-04 Hewlett-Packard Company ANDF producer using the HPcode-Plus compiler intermediate language
US5694539A (en) * 1994-08-10 1997-12-02 Intrinsa Corporation Computer process resource modelling method and apparatus
US5668999A (en) * 1994-12-20 1997-09-16 Sun Microsystems, Inc. System and method for pre-verification of stack usage in bytecode program loops
US5748964A (en) * 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US6151618A (en) * 1995-12-04 2000-11-21 Microsoft Corporation Safe general purpose virtual machine computing system
US6275976B1 (en) * 1996-03-15 2001-08-14 Joseph M. Scandura Automated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specifications
WO1998019237A1 (en) * 1996-10-25 1998-05-07 Schlumberger Systemes Using a high level programming language with a microcontroller
US6128774A (en) * 1997-10-28 2000-10-03 Necula; George C. Safe to execute verification of software
WO1999030229A1 (en) * 1997-12-11 1999-06-17 Digits Corp. Object code analysis and remediation system and method
US6223337B1 (en) * 1997-12-12 2001-04-24 Hewlett-Packard Company Random test generation for compiler optimization
US6195774B1 (en) * 1998-08-13 2001-02-27 Xilinx, Inc. Boundary-scan method using object-oriented programming language

Also Published As

Publication number Publication date
CA2382003C (fr) 2008-12-23
FR2797963A1 (fr) 2001-03-02
EP1212678B1 (fr) 2003-10-22
JP2003507811A (ja) 2003-02-25
ES2209969T3 (es) 2004-07-01
FR2797963B1 (fr) 2002-11-29
CN1370294A (zh) 2002-09-18
DE60006141D1 (de) 2003-11-27
CA2382003A1 (fr) 2001-03-01
WO2001014958A3 (fr) 2001-12-13
US7720939B1 (en) 2010-05-18
CN1220939C (zh) 2005-09-28
AU769363B2 (en) 2004-01-22
EP1212678A2 (fr) 2002-06-12
DE60006141T2 (de) 2004-08-26
WO2001014958A2 (fr) 2001-03-01
AU7015000A (en) 2001-03-19

Similar Documents

Publication Publication Date Title
ATE252742T1 (de) Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme
CN104517057B (zh) 基于可信计算的软件混合度量方法
DE60317558D1 (de) Verfahren zur überprüfung einer redundanten reserve-weiterleitungseinrichtung für datenpakete
CN109213900B (zh) 一种区块链的数据修改方法、装置、设备和介质
US20100146624A1 (en) Method and apparatus for protection of a program against monitoring flow manipulation and against incorrect program running
CN101149773A (zh) 一种基于软件实名认证的系统及其安全查证方法
DE59902955D1 (de) Verfahren zur prüfung von java-bytecode-programmen auf sicherheitseigenschaften
BR9509532A (pt) Sistema verficador de dados para um guia eletrônico de programas de televisão sistema para verificação de dados contidos num banco de dados de informações de programaçãode programas de televisão e processo para verificação de dados em guia eletrônico de televisão
WO2005026909A3 (en) N-tier architecture for a casino management system and method
ATE287102T1 (de) Verfahren zur sicherung eines elektronischen geräts, sicherheitssystem und elektronisches gerät
EP1417603A4 (en) AUTOMATED PENETRATION TEST FOR CONTROLLING THE SAFETY OF A COMPUTER SYSTEM
WO2006006084A3 (en) Establishing command order in an out of order dma command queue
US20180095764A1 (en) Control flow integrity
CN103559450B (zh) 一种基于内核驱动钩子技术的电子标签数据保护方法
ATE326721T1 (de) Verfahren und vorrichtung zur kontexterhaltung unter ausführung von übersetzten befehlen
FI991134A7 (fi) Ohjelmiston testaus
CN112559005A (zh) 基于区块链与分布式存储的物联网设备固件更新方法及系统
CN107766064A (zh) 组件升级的方法及装置
WO2007077362A3 (fr) Procede d'authentification d'applications d'un systeme informatique
WO2015078614A1 (en) Method for loading a native code on a secure element
CN110597731A (zh) 一种漏洞检测方法、装置及电子设备
CN104102507A (zh) 一种JavaCard应用功能扩展的实现方法
WO1994008298A3 (en) Method for improving scsi operations by actively patching scsi processor instructions
CN101106771A (zh) 手机软件加密和验证方法
CA2342322A1 (en) Method for verifying code transformers for an embedded system, in particular in a chip card

Legal Events

Date Code Title Description
RER Ceased as to paragraph 5 lit. 3 law introducing patent treaties