ATE550725T1 - Verfahren zur sicherung der ausführung eines vermittelnden sprachsoftwarecodes bei einer tragbaren anwendung - Google Patents

Verfahren zur sicherung der ausführung eines vermittelnden sprachsoftwarecodes bei einer tragbaren anwendung

Info

Publication number
ATE550725T1
ATE550725T1 AT06847029T AT06847029T ATE550725T1 AT E550725 T1 ATE550725 T1 AT E550725T1 AT 06847029 T AT06847029 T AT 06847029T AT 06847029 T AT06847029 T AT 06847029T AT E550725 T1 ATE550725 T1 AT E550725T1
Authority
AT
Austria
Prior art keywords
code
execution
software code
executing
data
Prior art date
Application number
AT06847029T
Other languages
English (en)
Inventor
Pierre Girard
Benoit Gonzalvo
Original Assignee
Gemalto 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 Gemalto Sa filed Critical Gemalto Sa
Application granted granted Critical
Publication of ATE550725T1 publication Critical patent/ATE550725T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/53—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by executing in a restricted environment, e.g. sandbox or secure virtual machine
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
AT06847029T 2005-12-13 2006-12-12 Verfahren zur sicherung der ausführung eines vermittelnden sprachsoftwarecodes bei einer tragbaren anwendung ATE550725T1 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0512627 2005-12-13
PCT/EP2006/069623 WO2007068706A1 (fr) 2005-12-13 2006-12-12 Procede pour securiser l'execution d'un code logiciel en langage intermediaire dans un appareil portatif

Publications (1)

Publication Number Publication Date
ATE550725T1 true ATE550725T1 (de) 2012-04-15

Family

ID=36764534

Family Applications (1)

Application Number Title Priority Date Filing Date
AT06847029T ATE550725T1 (de) 2005-12-13 2006-12-12 Verfahren zur sicherung der ausführung eines vermittelnden sprachsoftwarecodes bei einer tragbaren anwendung

Country Status (5)

Country Link
US (1) US8661535B2 (de)
EP (1) EP1960934B1 (de)
CN (1) CN101366035B (de)
AT (1) ATE550725T1 (de)
WO (1) WO2007068706A1 (de)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8832682B2 (en) * 2008-03-28 2014-09-09 Vmware, Inc. Trace collection for a virtual machine
WO2010020968A1 (en) * 2008-08-22 2010-02-25 Nxp B.V. Verification of process integrity
FR2967275B1 (fr) 2010-11-10 2012-12-28 Oberthur Technologies Procede, programme d'ordinateur et dispositif de securisation de code intermediaire de programmation pour son execution par une machine virtuelle
FR3047584B1 (fr) * 2016-02-05 2018-03-02 Morpho Procede d'execution d'instructions d'applications orientees objet par un interpreteur
US10447478B2 (en) * 2016-06-06 2019-10-15 Microsoft Technology Licensing, Llc Cryptographic applications for a blockchain system
FR3059119B1 (fr) * 2016-11-21 2018-11-23 Safran Identity & Security Procede de protection d'un dispositif electronique executant un programme contre des attaques par injection de faute et par confusion de type.
FR3068151B1 (fr) * 2017-06-27 2022-01-28 Safran Identity & Security Procede de protection d'un dispositif electronique executant un programme contre des attaques par injection de faute
CN107341372B (zh) * 2017-07-25 2018-12-07 北京深思数盾科技股份有限公司 一种软件保护方法和装置

Family Cites Families (10)

* 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
US6760907B2 (en) * 1998-06-30 2004-07-06 Sun Microsystems, Inc. Code generation for a bytecode compiler
US6618769B1 (en) * 1999-05-27 2003-09-09 Sun Microsystems, Inc. Module-by-module verification
US6651186B1 (en) * 2000-04-28 2003-11-18 Sun Microsystems, Inc. Remote incremental program verification using API definitions
GB2367654B (en) * 2000-10-05 2004-10-27 Advanced Risc Mach Ltd Storing stack operands in registers
DE10136335B4 (de) * 2001-07-26 2007-03-22 Infineon Technologies Ag Prozessor mit mehreren Rechenwerken
US20030126590A1 (en) * 2001-12-28 2003-07-03 Michael Burrows System and method for dynamic data-type checking
US7660985B2 (en) * 2003-04-30 2010-02-09 At&T Corp. Program security through stack segregation
US7516442B2 (en) * 2003-10-23 2009-04-07 Microsoft Corporation Resource manifest
FR2867929B1 (fr) * 2004-03-19 2007-03-02 Gemplus Card Int Procede d'authentification dynamique de programmes par un objet portable electronique

Also Published As

Publication number Publication date
EP1960934B1 (de) 2012-03-21
US20090165149A1 (en) 2009-06-25
CN101366035B (zh) 2012-09-05
CN101366035A (zh) 2009-02-11
US8661535B2 (en) 2014-02-25
WO2007068706A1 (fr) 2007-06-21
EP1960934A1 (de) 2008-08-27

Similar Documents

Publication Publication Date Title
ATE550725T1 (de) Verfahren zur sicherung der ausführung eines vermittelnden sprachsoftwarecodes bei einer tragbaren anwendung
WO2006032001A3 (en) Methods and system for executing a program in multiple execution environments
NO20091281L (no) Virtualisering for diversifiserende inngrepsmotstand
WO2009110725A3 (ko) 3차원 응용프로그램 프레임워크 구조 및 이를 기반으로 하는 응용프로그램 구현 방법과, 3차원 응용소프트웨어 프레임워크 기반의 자동 테스트 시스템 및 그 방법
ATE490522T1 (de) Verfahren zur parametrierung eines maschengitters in abhängigkeit von dehnung mittels spektralanalyse
WO2008024743A3 (en) Secure web application development and execution environment
TW200500878A (en) A method, apparatus, and instruction for performing a sign operation that multiplies
WO2006095365A3 (en) A system and method of defining a hierarchical datamodel and related computation and instruction rules using spreadsheet like user interface
TWI370368B (en) Method and system for a runtime user account creation operation within a single-sign-on process in a federated computing environment
DE502005005190D1 (de) Verfahren zur konfiguration eines computerprogramms
JP2013545169A5 (de)
MX2009001264A (es) Emulador de campo petrolifero.
WO2011159411A3 (en) Data parallel programming model
MXPA05009208A (es) Sistema y metodo para seleccionar comportamientos de ejecucion de caso de prueba para la automatizacion de prueba reproducible.
WO2007050110A3 (en) Method and model for enterprise system development and execution
DE50211695D1 (de) Verfahren zum bedienen eines feldgerätes mittels browser
DK1600796T3 (da) Fremgangsmåde til rekonstruktion af en stokastisk model for at forbedre indstillingen deraf til produktionsdataene
WO2007076098A3 (en) Digital effects analysis in modeling environments
WO2010009003A3 (en) Specification files for call translation and trace
ATE551640T1 (de) Verfahren zur dynamischen konfiguration einer bedienoberfläche eines funktionsbausteins
WO2005024631A3 (en) Creating and checking runtime data types
WO2007038352A3 (en) Automated creation of model and view code
ATE459719T1 (de) Verfahren zum erreichen einer pathogenresistenz in pflanzen
WO2006020729A3 (en) Recognition of acyclic instruction patterns
WO2006118682A3 (en) Validating application resources