BR0017287A - Sistema e método de verificação da autenticidade de imagens executáveis dinamicamente conectáveis - Google Patents

Sistema e método de verificação da autenticidade de imagens executáveis dinamicamente conectáveis

Info

Publication number
BR0017287A
BR0017287A BR0017287-1A BR0017287A BR0017287A BR 0017287 A BR0017287 A BR 0017287A BR 0017287 A BR0017287 A BR 0017287A BR 0017287 A BR0017287 A BR 0017287A
Authority
BR
Brazil
Prior art keywords
executable image
executable
validator
verification system
authenticity verification
Prior art date
Application number
BR0017287-1A
Other languages
English (en)
Other versions
BRPI0017287B1 (pt
Inventor
Dmitry Bodrov
Original Assignee
Mediadna Inc
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 Mediadna Inc filed Critical Mediadna Inc
Publication of BR0017287A publication Critical patent/BR0017287A/pt
Publication of BRPI0017287B1 publication Critical patent/BRPI0017287B1/pt

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
    • 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/54—Link editing before load time
    • 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/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • 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/44521—Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Storage Device Security (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Stored Programmes (AREA)

Abstract

"SISTEMA E MéTODO DE VERIFICAçãO DA AUTENTICIDADE DE IMAGENS EXECUTáVEIS DINAMICAMENTE CONECTáVEIS". Sistema e método para verificação da integridade de imagens executáveis. o sistema inclui um validador durante execução que determina uma assinatura digital de referência para uma imagem executável utilizando os teores da assinatura digital que exclui aquelas porções da imagem executável que são reparadas por um carregador do programa. O validador durante execução em seguida, subseq³ente ao carregamento da imagem executável, determina uma assinatura digital de integridade para verificar se a imagem executável foi inadequadamente modificada. Além disso, o validador durante execução garante que cada um dos ponteiros na imagem executável não foi inadequadamente redirecionado.
BRPI0017287A 2000-07-25 2000-07-25 sistema e método de determinação da autenticidade de uma imagem executável BRPI0017287B1 (pt)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/US2000/020182 WO2002008873A1 (en) 2000-07-25 2000-07-25 System and method of verifying the authenticity of dynamically connectable executable images

Publications (2)

Publication Number Publication Date
BR0017287A true BR0017287A (pt) 2003-06-24
BRPI0017287B1 BRPI0017287B1 (pt) 2016-11-01

Family

ID=21741611

Family Applications (1)

Application Number Title Priority Date Filing Date
BRPI0017287A BRPI0017287B1 (pt) 2000-07-25 2000-07-25 sistema e método de determinação da autenticidade de uma imagem executável

Country Status (10)

Country Link
EP (1) EP1303802B1 (pt)
JP (1) JP4698925B2 (pt)
KR (1) KR100752067B1 (pt)
CN (2) CN100394385C (pt)
AU (2) AU6371500A (pt)
BR (1) BRPI0017287B1 (pt)
CA (1) CA2416304C (pt)
HK (2) HK1057115A1 (pt)
MX (1) MX237690B (pt)
WO (1) WO2002008873A1 (pt)

Families Citing this family (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2391965B (en) * 2002-08-14 2005-11-30 Messagelabs Ltd Method of, and system for, heuristically detecting viruses in executable code
US8037515B2 (en) 2003-10-29 2011-10-11 Qualcomm Incorporated Methods and apparatus for providing application credentials
WO2005074397A2 (en) 2004-02-05 2005-08-18 Kings Information & Network Computer security apparatus and method using security input device driver
US7584509B2 (en) * 2004-06-12 2009-09-01 Microsoft Corporation Inhibiting software tampering
EP1757047B1 (en) * 2004-06-29 2019-11-06 Nokia Technologies Oy Method and apparatus for transmitting/receiving control message related to packet call service in an ip multimedia subsystem
US8156488B2 (en) 2004-10-20 2012-04-10 Nokia Corporation Terminal, method and computer program product for validating a software application
EP1877947A4 (en) * 2005-05-05 2009-11-25 Certicom Corp AUTHENTICATION OF RETROINSTALLATION ON A MICROLOGICIEL
KR100938672B1 (ko) * 2007-11-20 2010-01-25 한국전자통신연구원 악성 코드에 의해 삽입된 동적 연결 라이브러리 검출 장치 및 방법
JP5740573B2 (ja) * 2010-05-13 2015-06-24 パナソニックＩｐマネジメント株式会社 情報処理装置および情報処理方法
US8543841B2 (en) * 2011-06-30 2013-09-24 Oracle International Corporation Secure hosted execution architecture
KR101630214B1 (ko) 2015-01-19 2016-06-14 김종근 전지의 기능검사용 클램핑 장치
US11244054B2 (en) 2017-11-03 2022-02-08 Nokia Technologies Oy Method and apparatus for trusted computing
US11055105B2 (en) * 2018-08-31 2021-07-06 Micron Technology, Inc. Concurrent image measurement and execution
JP7262269B2 (ja) * 2019-03-27 2023-04-21 キヤノン株式会社 情報処理装置、及び情報処理装置の制御方法、プログラム

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2102883A1 (en) * 1993-02-26 1994-08-27 James W. Arendt System and method for lazy loading of shared libraries
US5559884A (en) * 1994-06-30 1996-09-24 Microsoft Corporation Method and system for generating and auditing a signature for a computer program
US5692047A (en) * 1995-12-08 1997-11-25 Sun Microsystems, Inc. System and method for executing verifiable programs with facility for using non-verifiable programs from trusted sources
DE19840029C1 (de) * 1998-09-02 2000-04-20 Siemens Ag Verfahren zum Linken von in einen Arbeitsspeicher eines Prozessors nachgeladenen Programmodulen auf einer Chipkarte
JP4166437B2 (ja) * 2001-01-31 2008-10-15 株式会社日立製作所 真正性出力方法及びその実施装置並びにその処理プログラム

Also Published As

Publication number Publication date
MXPA03000727A (es) 2004-03-26
CN1454338A (zh) 2003-11-05
HK1057115A1 (en) 2004-03-12
CN1722091A (zh) 2006-01-18
CN100394385C (zh) 2008-06-11
CA2416304C (en) 2010-11-30
KR20030045015A (ko) 2003-06-09
EP1303802A1 (en) 2003-04-23
CA2416304A1 (en) 2002-01-31
AU2000263715B2 (en) 2004-11-04
HK1083653A1 (en) 2006-07-07
JP2004505343A (ja) 2004-02-19
MX237690B (es) 2006-06-12
JP4698925B2 (ja) 2011-06-08
BRPI0017287B1 (pt) 2016-11-01
WO2002008873A1 (en) 2002-01-31
KR100752067B1 (ko) 2007-08-28
EP1303802B1 (en) 2013-01-16
CN1222854C (zh) 2005-10-12
AU6371500A (en) 2002-02-05

Similar Documents

Publication Publication Date Title
BR0017287A (pt) Sistema e método de verificação da autenticidade de imagens executáveis dinamicamente conectáveis
EP1011043A3 (en) Method and apparatus for loading a java application program
US6964039B2 (en) Method to create optimized machine code through combined verification and translation of JAVA™ bytecode
US8607208B1 (en) System and methods for object code hot updates
US8271965B2 (en) Apparatus to guarantee type and initialization safety in multithreaded programs
EP3534288A3 (en) Methods and systems for token-based anchoring of a physical object in a distributed ledger environment
BR0013451A (pt) Aparelho e método para corrigir distorção de imagem e mostrador de imagem usando os mesmos
BR0114066A (pt) Sistema e método de assinatura de código
DE60006141D1 (de) Verwaltungsprotokoll, verifikationsverfahren und transformierung eines ferngeladenen programmfragments und korrespondierende systeme
EP1118940A3 (en) Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
GB2392529A (en) Automatic replacement of corrupted bios image
DE69804760D1 (de) Verfahren und vorrichtung zur erkennung polymorpher viren
BR9901211A (pt) Método e aparelho para manipulação de exceções imprecisas.
EP1308837A3 (en) Method and apparatus for register renaming
US20080244535A1 (en) Logging and Replaying Input/Output Events for a Virtual Machine
CN103677845B (zh) 一种网站应用部署方法
US20160124727A1 (en) Method for Checking and/or Transformation of a Computer Program with First-Class Static Functions
BR9710009A (pt) Sistema de transação segura portátil para dispositivo inteligentes programáveis
US20120278660A1 (en) Method and device for testing a system comprising at least a plurality of software units that can be executed simultaneously
CA2309778A1 (en) Fully lazy linking
BR9703553A (pt) Processo para acabamento de uma resina a partir de um látex polimerizado em emulsão
Berendsen et al. Compositional abstraction in real-time model checking
BR0006883A (pt) Processo de verificação de um transformador de código, e, aplicação do processo de verificação
Belwal et al. Feasibility interval for the transactional event handlers of P-FRP
JP6212735B2 (ja) 遊技機

Legal Events

Date Code Title Description
B07A Technical examination (opinion): publication of 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 DA LPI

B12B Appeal: appeal against refusal
B16A Patent or certificate of addition of invention granted

Free format text: PRAZO DE VALIDADE: 10 (DEZ) ANOS CONTADOS A PARTIR DE 01/11/2016, OBSERVADAS AS CONDICOES LEGAIS.

B21F Lapse acc. art. 78, item iv - on non-payment of the annual fees in time
B24J Lapse because of non-payment of annual fees (definitively: art 78 iv lpi, resolution 113/2013 art. 12)

Free format text: EM VIRTUDE DA EXTINCAO PUBLICADA NA RPI 2472 DE 22-05-2018 E CONSIDERANDO AUSENCIA DE MANIFESTACAO DENTRO DOS PRAZOS LEGAIS, INFORMO QUE CABE SER MANTIDA A EXTINCAO DA PATENTE E SEUS CERTIFICADOS, CONFORME O DISPOSTO NO ARTIGO 12, DA RESOLUCAO 113/2013.