WO2002023331A3 - Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa - Google Patents

Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa Download PDF

Info

Publication number
WO2002023331A3
WO2002023331A3 PCT/US2001/028579 US0128579W WO0223331A3 WO 2002023331 A3 WO2002023331 A3 WO 2002023331A3 US 0128579 W US0128579 W US 0128579W WO 0223331 A3 WO0223331 A3 WO 0223331A3
Authority
WO
WIPO (PCT)
Prior art keywords
version
program unit
program
implementation
definition file
Prior art date
Legal status (The legal status 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 status listed.)
Ceased
Application number
PCT/US2001/028579
Other languages
English (en)
Other versions
WO2002023331A2 (fr
Inventor
Judith E Schwabe
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Sun Microsystems Inc
Original Assignee
Sun Microsystems 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
Priority claimed from US09/661,684 external-priority patent/US6986132B1/en
Priority claimed from US09/661,582 external-priority patent/US6981245B1/en
Priority claimed from US09/661,581 external-priority patent/US6883163B1/en
Application filed by Sun Microsystems Inc filed Critical Sun Microsystems Inc
Priority to AU2001290842A priority Critical patent/AU2001290842B2/en
Priority to AU9084201A priority patent/AU9084201A/xx
Priority to EP01970891A priority patent/EP1417572A2/fr
Publication of WO2002023331A2 publication Critical patent/WO2002023331A2/fr
Anticipated expiration legal-status Critical
Publication of WO2002023331A3 publication Critical patent/WO2002023331A3/fr
Ceased legal-status Critical Current

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/51—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems at application loading time, e.g. accepting, rejecting, starting or inhibiting executable software based on integrity or source reliability
    • 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
    • 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 OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • 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/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Stored Programmes (AREA)

Abstract

L'invention concerne un procédé pour exploiter un système informatique, comprenant la mise à disposition d'une première version d'un programme en mémoire et la vérification de ce programme avant son exécution. La première version d'un programme comporte au moins une unité de programme. Chaque unité de programme contient un fichier de définitions d'Interfaces de Programmation d'Application (IPA) et une mise en oeuvre. Chaque fichier de définitions IPA définit des articles dans son unité programme associée, articles qui sont accessibles à une ou à plusieurs autres unités de programme, et chaque exécution comporte un code exécutable correspondant au fichier de définitions IPA et contenant des instructions spécifiques par type et des données spécifiques par type. La vérification du programme comprend les opérations suivantes : indiquer une erreur de vérification lorsqu'une première version d'une première mise en oeuvre d'unité de programme n'a pas de cohérence interne ; indiquer une erreur de vérification lorsque la première version de la première mise en oeuvre d'unité de programme n'est pas cohérente avec la version du fichier de définitions IPA associée à la première version de la première mise en oeuvre d'unité de programme ; recevoir une deuxième version de la première mise en oeuvre d'unité de programme et une deuxième version du premier fichier de définitions IPA ; vérifier la deuxième version de la première mise en oeuvre d'unité de programme et contrôler si celle-ci est compatible du point de vue binaire avec la première version de la première mise en oeuvre d'unité de programme en comparant la première et la deuxième versions du premier fichier de définitions IPA.
PCT/US2001/028579 2000-09-14 2001-09-12 Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa Ceased WO2002023331A2 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
AU2001290842A AU2001290842B2 (en) 2000-09-14 2001-09-12 Remote incremental program binary compatibility verification using API definitions
AU9084201A AU9084201A (en) 2000-09-14 2001-09-12 Remote incremental program binary compatibility verification using api definitions
EP01970891A EP1417572A2 (fr) 2000-09-14 2001-09-12 Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
US09/661,684 2000-09-14
US09/661,684 US6986132B1 (en) 2000-04-28 2000-09-14 Remote incremental program binary compatibility verification using API definitions
US09/661,582 US6981245B1 (en) 2000-09-14 2000-09-14 Populating binary compatible resource-constrained devices with content verified using API definitions
US09/661,581 US6883163B1 (en) 2000-04-28 2000-09-14 Populating resource-constrained devices with content verified using API definitions

Publications (2)

Publication Number Publication Date
WO2002023331A2 WO2002023331A2 (fr) 2002-03-21
WO2002023331A3 true WO2002023331A3 (fr) 2004-02-26

Family

ID=29554277

Family Applications (3)

Application Number Title Priority Date Filing Date
PCT/US2001/028579 Ceased WO2002023331A2 (fr) 2000-09-14 2001-09-12 Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa
PCT/US2001/028687 Ceased WO2002025427A2 (fr) 2000-09-14 2001-09-14 Peuplement de dispositifs a ressources limitees a compatibilite binaire avec contenu verifie par definitions api
PCT/US2001/028688 Ceased WO2002025428A2 (fr) 2000-09-14 2001-09-14 Peuplement de dispositifs a ressources limitees a compatibilite binaire avec contenu verifie par definitions api

Family Applications After (2)

Application Number Title Priority Date Filing Date
PCT/US2001/028687 Ceased WO2002025427A2 (fr) 2000-09-14 2001-09-14 Peuplement de dispositifs a ressources limitees a compatibilite binaire avec contenu verifie par definitions api
PCT/US2001/028688 Ceased WO2002025428A2 (fr) 2000-09-14 2001-09-14 Peuplement de dispositifs a ressources limitees a compatibilite binaire avec contenu verifie par definitions api

Country Status (3)

Country Link
AU (3) AU9084201A (fr)
CA (1) CA2422634A1 (fr)
WO (3) WO2002023331A2 (fr)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7636172B2 (en) 2002-07-31 2009-12-22 Ricoh Company, Ltd. Image forming apparatus, information processing apparatus and version check method using an API from an application
EP1475611B1 (fr) * 2003-05-07 2007-07-11 Harman/Becker Automotive Systems GmbH Procédé et appareil d'application de sortie vocale, support de donées comprenant des donées de parole
DE102004013904B4 (de) * 2004-03-22 2005-12-22 Giesecke & Devrient Gmbh System, Vorrichtung und Verfahren zum Nachladen von verifiziertem Programmcode auf mobile Datenträger
DE102004048262A1 (de) * 2004-10-04 2006-04-06 Giesecke & Devrient Gmbh Verfahren zum Laden einer Applikation in einen Datenträger
US8099718B2 (en) 2007-11-13 2012-01-17 Intel Corporation Method and system for whitelisting software components
US9058330B2 (en) 2012-10-17 2015-06-16 Wal-Mart Stores, Inc. Verification of complex multi-application and multi-node deployments
US9201642B2 (en) 2013-03-15 2015-12-01 International Business Machines Corporation Extending platform trust during program updates

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0498130A2 (fr) * 1991-02-08 1992-08-12 International Business Machines Corporation Dispositif et procédé de vérification de la compatibilité de composants d'un système
US5613101A (en) * 1993-05-05 1997-03-18 Apple Computer, Inc. Method and apparatus for determining at execution compatibility among client and provider components where provider version linked with client may differ from provider version available at execution

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2204973A (en) * 1987-05-19 1988-11-23 Gen Electric Co Plc Data processing system
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
US6328217B1 (en) * 1997-05-15 2001-12-11 Mondex International Limited Integrated circuit card with application history list
WO2000025278A1 (fr) * 1998-10-27 2000-05-04 Visa International Service Association Delegation de gestion pour applications de cartes a puce
US7200842B1 (en) * 1999-02-02 2007-04-03 Sun Microsystems, Inc. Object-oriented instruction set for resource-constrained devices

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0498130A2 (fr) * 1991-02-08 1992-08-12 International Business Machines Corporation Dispositif et procédé de vérification de la compatibilité de composants d'un système
US5613101A (en) * 1993-05-05 1997-03-18 Apple Computer, Inc. Method and apparatus for determining at execution compatibility among client and provider components where provider version linked with client may differ from provider version available at execution

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
SURESH SUBRAMANIAN ED - INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS: "CRUISE: USING INTERFACE HIERARCHIES TO SUPPORT SOFTWARE EVOLUTION", PROCEEDINGS OF THE CONFERENCE ON SOFTWARE MAINTENANCE. PHOENIX, OCT. 24 - 27, 1988, PROCEEDINGS OF THE CONFERENCE ON SOFTWARE MAINTENANCE. FROM 1994 INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, WASHINGTON, IEEE COMP. SOC. PRESS, US, 24 October 1988 (1988-10-24), pages 132 - 142, XP000010770 *

Also Published As

Publication number Publication date
WO2002025427A2 (fr) 2002-03-28
WO2002025428A2 (fr) 2002-03-28
AU8907801A (en) 2002-04-02
WO2002025427A3 (fr) 2004-02-26
CA2422634A1 (fr) 2002-03-28
WO2002025428A3 (fr) 2004-02-26
WO2002023331A2 (fr) 2002-03-21
AU9089201A (en) 2002-04-02
AU9084201A (en) 2002-03-26

Similar Documents

Publication Publication Date Title
Fisher et al. JDBC API tutorial and reference
US7506175B2 (en) File language verification
US8762350B2 (en) Methods and systems for providing data objects on a token
US7194738B2 (en) Method of creating image files and installing software bundles on target computers
WO2001069455A3 (fr) Systeme et procede d'analyse d'une interrogation et de generation de resultats et de questions apparentees
US8087000B2 (en) Synchronizing codes from multiple software configuration management systems
MXPA01003185A (es) Bloqueo de sistema de archivo.
US20130144849A1 (en) Delta compression using multiple pointers
US20050251799A1 (en) Method of updating firmware
WO2005055051A3 (fr) Determination de la possibilite d'effets prejudiciables induits par un changement de code
US20240403189A1 (en) Vehicular development and debugging system and methods of text codes and graphic codes for vehicle development
WO2002023331A3 (fr) Verification incrementielle a distance de la compatibilite binaire d'un programme au moyen de definitions ipa
US7500245B2 (en) Changing code execution path using kernel mode redirection
CN105138337A (zh) 一种插件适配方法及插件适配装置
US20060150141A1 (en) Method of weaving code fragments between programs using code fragment numbering
US20060184924A1 (en) Intelligent platform management interface firmware architecture and method of building the same
CN110221821A (zh) 一种基于编程教育的项目函数解耦方法及电子设备
CN104731557A (zh) 指令执行的控制方法及装置
CN104539697B (zh) 一种客户端、服务器及制作安卓移动应用的方法
WO2001044923A3 (fr) Systeme et procede de modification de la sortie d'un programme informatique sans modification du code de source
CN101477457A (zh) 应用模块管理系统、应用模块执行方法以及虚拟机
Breunesse On JML: Topics in tool-assisted verification of Java programs
US8453108B1 (en) Static, configurable kernel interface
US8135943B1 (en) Method, apparatus, and computer-readable medium for generating a dispatching function
Marchioni JBoss AS 7 Development

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
WWE Wipo information: entry into national phase

Ref document number: 2001970891

Country of ref document: EP

Ref document number: 2001290842

Country of ref document: AU

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

WWP Wipo information: published in national office

Ref document number: 2001970891

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: JP