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 OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; 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 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/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)
  • Computer Security & Cryptography (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • 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 (9)

Country Link
EP (1) EP1303802B1 (pt)
JP (1) JP4698925B2 (pt)
KR (1) KR100752067B1 (pt)
CN (2) CN1222854C (pt)
AU (2) AU2000263715B2 (pt)
BR (1) BRPI0017287B1 (pt)
CA (1) CA2416304C (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
US7640592B2 (en) * 2004-06-12 2009-12-29 Microsoft Corporation Installation setup
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
CN101218588B (zh) * 2005-05-05 2010-05-19 塞尔蒂卡姆公司 具有可认证的固件的附件设备及布置和认证该固件的方法
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 김종근 전지의 기능검사용 클램핑 장치
WO2019084908A1 (en) 2017-11-03 2019-05-09 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
CN1722091A (zh) 2006-01-18
HK1083653A1 (en) 2006-07-07
JP4698925B2 (ja) 2011-06-08
AU2000263715B2 (en) 2004-11-04
MXPA03000727A (es) 2004-03-26
JP2004505343A (ja) 2004-02-19
CN1222854C (zh) 2005-10-12
CA2416304C (en) 2010-11-30
BRPI0017287B1 (pt) 2016-11-01
AU6371500A (en) 2002-02-05
CN100394385C (zh) 2008-06-11
HK1057115A1 (en) 2004-03-12
MX237690B (es) 2006-06-12
CN1454338A (zh) 2003-11-05
KR100752067B1 (ko) 2007-08-28
CA2416304A1 (en) 2002-01-31
EP1303802B1 (en) 2013-01-16
EP1303802A1 (en) 2003-04-23
KR20030045015A (ko) 2003-06-09
WO2002008873A1 (en) 2002-01-31

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
BR0114066A (pt) Sistema e método de assinatura de código
US7434212B2 (en) Method and apparatus to guarantee type and initialization safety in multithreaded programs
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
IT1263811B (it) Microprocessore con dispositivo per l'esecuzione parallela di istruzioni
GB2389755A (en) Embedding digital signatures into digital payloads
US20090241189A1 (en) Efficient handling of interrupts in a computing environment
ATE281667T1 (de) Methode und vorrichtung zur ankopplung von single master geräten an eine multimaster wired-and busumgebung
US8972784B2 (en) Method and device for testing a system comprising at least a plurality of software units that can be executed simultaneously
BR9710009A (pt) Sistema de transação segura portátil para dispositivo inteligentes programáveis
US10048951B2 (en) Method for type checking and transformation of a computer program with first-class static functions
CA2309778A1 (en) Fully lazy linking
Berendsen et al. Compositional abstraction in real-time model checking
EP1758024A3 (en) Information processing apparatus, information processing apparatus control program, and information processing apparatus control method
BR9703553A (pt) Processo para acabamento de uma resina a partir de um látex polimerizado em emulsão
BR0006883A (pt) Processo de verificação de um transformador de código, e, aplicação do processo de verificação
US20080163375A1 (en) Embedding and patching integrity information in a program file having relocatable file sections
WO2001097028A3 (en) Method and apparatus for rewriting bytecodes to minimize runtime checks
Egli Translating Pedagogical Exercises to Viper’s Go Front-End
CN119127546B (zh) 处理器页表修改引起缺页异常的验证方法及装置
SE8201462L (sv) Sett for automatisk dubbning samt dubbningsautomat for genomforande av settet
Oh Memory Allocation Techniques in System with Dynamic Swapping of Application Codes

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.