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çãoInfo
- 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
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
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)
- Debugging And Monitoring (AREA)
- Hardware Redundancy (AREA)
- Storage Device Security (AREA)
Abstract
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)
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 |
WO2005117273A1 (ja) * | 2004-05-26 | 2005-12-08 | Nec Corporation | 空間多重信号検出方法及びそれを用いる時空間反復復号器 |
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 | 安凯(广州)微电子技术有限公司 | 一种用于嵌入式系统的大规模数据验证方法 |
US8799984B2 (en) * | 2008-05-27 | 2014-08-05 | Open Invention Network, Llc | User agent to exercise privacy control management 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)
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 |
WO1993010509A1 (en) * | 1991-11-12 | 1993-05-27 | Security Domain Pty. Ltd. | Method and system for secure, decentralised personalisation 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 |
CN1183449C (zh) * | 1996-10-25 | 2005-01-05 | 施卢默格系统公司 | 用微控制器使用高级程序设计语言 |
FR2757970B1 (fr) * | 1996-12-30 | 1999-03-26 | Gemplus Card Int | Procede de chargement d'un programme d'utilisation dans un support a puce |
DE69827405T2 (de) * | 1997-03-24 | 2005-05-19 | Visa International Service Association, Foster City | 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 |
CA2347684A1 (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 | 日本電気株式会社 | 半導体装置 |
US6256690B1 (en) * | 1999-01-15 | 2001-07-03 | Todd Carper | System and method for facilitating multiple applications on a smart card |
US6390374B1 (en) * | 1999-01-15 | 2002-05-21 | Todd Carper | System and method for installing/de-installing an application 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 |
-
1999
- 1999-07-01 FR FR9908460A patent/FR2795835B1/fr not_active Expired - Fee Related
-
2000
- 2000-06-28 CA CA2342322A patent/CA2342322C/en not_active Expired - Fee Related
- 2000-06-28 EP EP00946037A patent/EP1112536A1/fr not_active Ceased
- 2000-06-28 CN CNB008013101A patent/CN1231838C/zh not_active Expired - Fee Related
- 2000-06-28 BR BR0006883-7A patent/BR0006883A/pt not_active Application Discontinuation
- 2000-06-28 JP JP2001508686A patent/JP2003525482A/ja not_active Withdrawn
- 2000-06-28 WO PCT/FR2000/001815 patent/WO2001002955A1/fr active Application Filing
- 2000-06-28 US US09/786,114 patent/US7020872B1/en not_active Expired - Fee Related
-
2002
- 2002-03-01 HK HK02101583.9A patent/HK1040304B/zh not_active IP Right Cessation
-
2011
- 2011-09-22 JP JP2011206844A patent/JP2012027936A/ja active Pending
Also Published As
Publication number | Publication date |
---|---|
EP1112536A1 (fr) | 2001-07-04 |
CA2342322C (en) | 2011-10-18 |
FR2795835A1 (fr) | 2001-01-05 |
WO2001002955A1 (fr) | 2001-01-11 |
JP2012027936A (ja) | 2012-02-09 |
CN1316073A (zh) | 2001-10-03 |
JP2003525482A (ja) | 2003-08-26 |
HK1040304B (zh) | 2006-03-10 |
HK1040304A1 (en) | 2002-05-31 |
CN1231838C (zh) | 2005-12-14 |
US7020872B1 (en) | 2006-03-28 |
FR2795835B1 (fr) | 2001-10-05 |
CA2342322A1 (en) | 2001-01-11 |
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 | |
ES2530446T3 (es) | Retirada de agregados de alto peso molecular usando cromatografía de hidroxiapatita | |
CO5721011A2 (es) | Elementos de respuesta al estrogeno de bmp-2 y metodos de uso de los mismos | |
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 | |
BRPI0503785A (pt) | sistema eletrÈnico de permuta de dados | |
BR0215054A (pt) | Método e sistema para executar as funções do sistema de operação, dispositivo eletrônico, e, programa de computador | |
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 | |
TW238367B (en) | Circuit and method for detecting segment limit errors for code fetches | |
ATE491189T1 (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 | |
BR0116307A (pt) | Sistema e método para pré-programar uma memória de dispositivo eletrônico | |
BR0210281A (pt) | Método para a produção de polpa aperfeiçoada | |
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 | |
SE8500717D0 (sv) | Sett att reparera ett ror | |
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) |