BR0006883A - Processo de verificação de um transformador de código, e, aplicação do processo de verificação - Google Patents

Processo de verificação de um transformador de código, e, aplicação do processo de verificação

Info

Publication number
BR0006883A
BR0006883A BR0006883-7A BR0006883A BR0006883A BR 0006883 A BR0006883 A BR 0006883A BR 0006883 A BR0006883 A BR 0006883A BR 0006883 A BR0006883 A BR 0006883A
Authority
BR
Brazil
Prior art keywords
verification
verification process
code transformer
code
application
Prior art date
Application number
BR0006883-7A
Other languages
English (en)
Inventor
Christian Goire
Thomas Jensen
Pascal Fradet
Daniel Le Metayer
Ewen Denney
Original Assignee
Bull Cp8
Inst Nat Rech En Inf Et En Aut
Le Ct Nat De La Rech Scient Cn
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 Bull Cp8, Inst Nat Rech En Inf Et En Aut, Le Ct Nat De La Rech Scient Cn filed Critical Bull Cp8
Publication of BR0006883A publication Critical patent/BR0006883A/pt

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

Abstract

"PROCESSO DE VERIFICAçãO DE UM TRANSFORMADOR DE CóDIGO, E, APLICAçãO DO PROCESSO DE VERIFICAçãO". A invenção refere-se a um processo de verificação de um transformador de código fonte e um código transformado destinado a um sistema incorporado (7). O processo compreende pelo menos as etapas de determinação de uma máquina virtual única fatorizando o comportamento destes dois códigos (1, 3), de diversas funções ditas auxiliares representando diferenças residuais entre citados códigos fonte (1) e transformado (3) e uma etapa consistindo na verificação de uma propriedade de correspondência entre as funções auxiliares, a verificação do transformador de código (2) sendo obtida a partir desta última etapa. A invenção é notadamente aplicada aos cartões com chip integrado (7).
BR0006883-7A 1999-07-01 2000-06-28 Processo de verificação de um transformador de código, e, aplicação do processo de verificação BR0006883A (pt)

Applications Claiming Priority (2)

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
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

Publications (1)

Publication Number Publication Date
BR0006883A true BR0006883A (pt) 2001-06-12

Family

ID=9547574

Family Applications (1)

Application Number Title Priority Date Filing Date
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

Country Status (9)

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

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 安凯(广州)微电子技术有限公司 一种用于嵌入式系统的大规模数据验证方法
US8402526B2 (en) * 2008-05-27 2013-03-19 Open Invention Network Llc System integrating an identity selector and user-portable device and method of use 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
US5534857A (en) * 1991-11-12 1996-07-09 Security Domain Pty. Ltd. Method and system for secure, decentralized personalization of smart cards
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 (en) * 1996-03-11 1997-09-17 Koninklijke KPN N.V. Method of securely modifying data on a smart card
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
JP2000514584A (ja) * 1996-10-25 2000-10-31 シュルンベルジェ システーム 高級プログラミング言語を用いたマイクロコントローラ
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
WO2000025278A1 (en) * 1998-10-27 2000-05-04 Visa International Service Association Delegated management of smart card applications
EP0997815A3 (en) * 1998-10-29 2004-05-26 Texas Instruments Incorporated Interactive translation system and method
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
FR2795835A1 (fr) 2001-01-05
CA2342322C (en) 2011-10-18
US7020872B1 (en) 2006-03-28
JP2003525482A (ja) 2003-08-26
FR2795835B1 (fr) 2001-10-05
HK1040304A1 (en) 2002-05-31
HK1040304B (zh) 2006-03-10
CN1316073A (zh) 2001-10-03
WO2001002955A1 (fr) 2001-01-11
EP1112536A1 (fr) 2001-07-04
CA2342322A1 (en) 2001-01-11
JP2012027936A (ja) 2012-02-09
CN1231838C (zh) 2005-12-14

Similar Documents

Publication Publication Date Title
BR0006883A (pt) Processo de verificação de um transformador de código, e, aplicação do processo de verificação
BR0114066A (pt) Sistema e método de assinatura de código
ES2530446T3 (es) Retirada de agregados de alto peso molecular usando cromatografía de hidroxiapatita
BRPI0214119B8 (pt) vírus adenoassociado recombinante, método de geração do referido vírus e composição compreendendo o referido vírus
BR0207926A (pt) Método e aparelho para processar transações financeiras
BR0211470A (pt) Sistema de reciclagem de gás, e, processo para a purificação e a reciclagem de um gás
DE69923781D1 (de) Druck und überprüfung von selbstprüfenden sicherheitsdokumenten
BR0112029A (pt) ligação por meio de informação não válida
TW200618259A (en) Method and apparatus for resisting hardware hacking through internal register interface
EP0943995A3 (en) Processor having real-time external instruction insertion for debug functions without a debug monitor
BR9712413A (pt) Método para produzir um corpo, aparelho para tratar um corpo parcialmente denso tendo uma rebarba, aparelho para tratar e transportar um corpo parcialmente denso produzido por uma prensa e aparelho para tratar um corpo parcialmente denso tendo uma rebarba através da incidência de uma corrente de fluido
YU29199A (sh) Čip kartica i postupak za korišćenje čip kartice
MY127346A (en) Unhandled operation handling multiple instruction set systems
BR0308054A (pt) Método para a recarga de cartões de chip
TW238367B (en) Circuit and method for detecting segment limit errors for code fetches
DE60238522D1 (de) Chipkarte und verfahren zum schützen einer chipkarte
BR0210385A (pt) Dispositivos e métodos para simplificar a execução baseada em ocr em sistemas automáticos de pedágio
BR0012649A (pt) Processo de gestão do pagamento de taxas de estacionamento e cupom para o pagamento de taxas de estacionamento
FR2826531B1 (fr) Procede cryptographique pour la protection d'une puce electronique contre la fraude
Hunt et al. Biochronological significance of the co-occurrence of the phytosaurs (Reptilia: Archosauria) Angistorhinus and Rutiodon in the Los Esteros Member of the Santa Rosa Formation, Santa Fe County, New Mexico, USA
BR0210281A (pt) Método para a produção de polpa aperfeiçoada
ATE276542T1 (de) Kennzeichnung von gegenständen
DE50107611D1 (de) Verfahren und Generierungsmodul zur Ermittlung von Filtermasken zur Relevanzprüfung von Kennzeichnern
BR0211371A (pt) Processo para proteger um software vulnerável contra o seu uso não autorizado; sistema para a implementação do processo; unidade pré-personalizada; unidade que permite executar um software protegido e impedir sua utilização não autorizada; conjunto de unidades; conjunto de distribuição de um software protegido; unidade de processamento e de memorização e conjunto de unidades de processamento e de memorização
SE9803499D0 (sv) Anordning intättad att motverka uppkomsten av dragspänningar i åtminstone ett område av ett motorblock samt förfarande för att motverka uppkomsten av dylika dragspänningar

Legal Events

Date Code Title Description
B25A Requested transfer of rights approved

Owner name: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE

Free format text: TRANSFERIDO DE: BULL CP8

B25C Requirement related to requested transfer of rights

Owner name: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE

Free format text: A FIM DE ATENDER A TRANSFERENCIA SOLICITADA NA PET. NO020100098468/RJ DE 21/10/2010 REAPRESENTE O DOCUMENTO DE CESSAO DEVIDAMENTE NOTARIZADO.

B25C Requirement related to requested transfer of rights

Owner name: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE

Free format text: AFIM DE ATENDER A TRANSFERENCIA REQUERIDA ATRAVES DA PETICAO NO 020100098468/RJ DE 21/10/2010, APRESENTE O DOCUMENTO DE CESSAO CORRESPONDENTE AO ATO REQUERIDO NOTARIZADO.

B25A Requested transfer of rights approved

Owner name: CP8 TECHNOLOGIES (FR)

Free format text: TRANSFERIDO DE: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) E LE CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)

B07A Application suspended after technical examination (opinion) [chapter 7.1 patent gazette]
B09B Patent application refused [chapter 9.2 patent gazette]

Free format text: INDEFIRO O PEDIDO DE ACORDO COM O ARTIGO 8O COMBINADO COM ARTIGO 13 E ARTIGO 25 DA LPI.

B12B Appeal against refusal [chapter 12.2 patent gazette]
B11D Dismissal acc. art. 38, par 2 of ipl - failure to pay fee after grant in time
B15K Others concerning applications: alteration of classification

Ipc: G06F 8/52 (2018.01), G06F 9/445 (2018.01)