AU9084201A - Remote incremental program binary compatibility verification using api definitions - Google Patents
Remote incremental program binary compatibility verification using api definitionsInfo
- Publication number
- AU9084201A AU9084201A AU9084201A AU9084201A AU9084201A AU 9084201 A AU9084201 A AU 9084201A AU 9084201 A AU9084201 A AU 9084201A AU 9084201 A AU9084201 A AU 9084201A AU 9084201 A AU9084201 A AU 9084201A
- Authority
- AU
- Australia
- Prior art keywords
- program binary
- compatibility verification
- binary compatibility
- api definitions
- incremental program
- 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.)
- Pending
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/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; 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
- 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; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
-
- 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
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
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,684 US6986132B1 (en) | 2000-04-28 | 2000-09-14 | Remote incremental program binary compatibility verification using API definitions |
US09/661,581 US6883163B1 (en) | 2000-04-28 | 2000-09-14 | Populating resource-constrained devices with content verified using API definitions |
PCT/US2001/028579 WO2002023331A2 (en) | 2000-09-14 | 2001-09-12 | Remote incremental program binary compatibility verification using api definitions |
Publications (1)
Publication Number | Publication Date |
---|---|
AU9084201A true AU9084201A (en) | 2002-03-26 |
Family
ID=29554277
Family Applications (3)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
AU9084201A Pending AU9084201A (en) | 2000-09-14 | 2001-09-12 | Remote incremental program binary compatibility verification using api definitions |
AU8907801A Withdrawn AU8907801A (en) | 2000-09-14 | 2001-09-14 | Populating binary compatible resource-constrained devices with content verified using api definitions |
AU9089201A Withdrawn AU9089201A (en) | 2000-09-14 | 2001-09-14 | Populating resource-constrained devices with content verified using api definitions |
Family Applications After (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
AU8907801A Withdrawn AU8907801A (en) | 2000-09-14 | 2001-09-14 | Populating binary compatible resource-constrained devices with content verified using api definitions |
AU9089201A Withdrawn AU9089201A (en) | 2000-09-14 | 2001-09-14 | Populating resource-constrained devices with content verified using api definitions |
Country Status (3)
Country | Link |
---|---|
AU (3) | AU9084201A (en) |
CA (1) | CA2422634A1 (en) |
WO (3) | WO2002023331A2 (en) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1387268A3 (en) * | 2002-07-31 | 2005-03-02 | Ricoh Company | Image forming apparatus, information processing apparatus and version check method |
DE60314844T2 (en) * | 2003-05-07 | 2008-03-13 | Harman Becker Automotive Systems Gmbh | Method and apparatus for voice output, data carrier with voice data |
DE102004013904B4 (en) * | 2004-03-22 | 2005-12-22 | Giesecke & Devrient Gmbh | Verified program code downloading system for JAVA smart card, has processing unit, and verifier to verify codes and provide codes to carrier, where unit and verifier are designed so that codes are loaded to carrier only after verification |
DE102004048262A1 (en) * | 2004-10-04 | 2006-04-06 | Giesecke & Devrient Gmbh | Method for loading an application into a data carrier |
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 |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB2204973A (en) * | 1987-05-19 | 1988-11-23 | Gen Electric Co Plc | Data processing system |
US5579509A (en) * | 1991-02-08 | 1996-11-26 | International Business Machines Corporation | Apparatus and method for verifying compatibility of system components |
DE69406660D1 (en) * | 1993-05-05 | 1997-12-11 | Apple Computer | METHOD AND DEVICE FOR COMPATIBILITY VERIFICATION BETWEEN COMPONENTS IN A COMPUTER 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 (en) * | 1998-10-27 | 2000-05-04 | Visa International Service Association | Delegated management of smart card applications |
US7200842B1 (en) * | 1999-02-02 | 2007-04-03 | Sun Microsystems, Inc. | Object-oriented instruction set for resource-constrained devices |
-
2001
- 2001-09-12 WO PCT/US2001/028579 patent/WO2002023331A2/en active Application Filing
- 2001-09-12 AU AU9084201A patent/AU9084201A/en active Pending
- 2001-09-14 CA CA002422634A patent/CA2422634A1/en not_active Abandoned
- 2001-09-14 AU AU8907801A patent/AU8907801A/en not_active Withdrawn
- 2001-09-14 AU AU9089201A patent/AU9089201A/en not_active Withdrawn
- 2001-09-14 WO PCT/US2001/028687 patent/WO2002025427A2/en active Application Filing
- 2001-09-14 WO PCT/US2001/028688 patent/WO2002025428A2/en active Application Filing
Also Published As
Publication number | Publication date |
---|---|
AU8907801A (en) | 2002-04-02 |
WO2002025427A2 (en) | 2002-03-28 |
WO2002025428A2 (en) | 2002-03-28 |
WO2002025427A3 (en) | 2004-02-26 |
WO2002023331A2 (en) | 2002-03-21 |
AU9089201A (en) | 2002-04-02 |
CA2422634A1 (en) | 2002-03-28 |
WO2002025428A3 (en) | 2004-02-26 |
WO2002023331A3 (en) | 2004-02-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
IL155495A0 (en) | Remote phytomonitoring | |
EG24742A (en) | Vaccine composition. | |
ZA200101733B (en) | Plastic implant. | |
GB2374366B (en) | Compression set packer | |
ZA200205479B (en) | Novel biarylcarboxamides. | |
GB0021530D0 (en) | Remote control | |
GB2380690B (en) | Remote electro-aeroplane | |
EP1319221A4 (en) | A surrogate | |
GB2363812B (en) | Well packer | |
ZA200007161B (en) | Grouting compositions. | |
MXPA03005408A (en) | Materials having shape-memory. | |
MXPA03001991A (en) | Novel arylalkane-sulfonamides. | |
AU9084201A (en) | Remote incremental program binary compatibility verification using api definitions | |
GB0128984D0 (en) | Packer | |
GB2388227B (en) | Enhanced special programming mode | |
GB0024035D0 (en) | Voting aid | |
PL362313A1 (en) | Automated code delivery | |
GB2367323B (en) | Glass packer | |
GB0130358D0 (en) | Remote document verification | |
GB2379700B (en) | Well completion strings | |
GB0120159D0 (en) | Non-starch polysaccharides | |
AU2457802A (en) | A surrogate | |
GB0126728D0 (en) | Plastic grouting trowel | |
HK1042557A1 (en) | Fitting type timepiece. | |
AU2002950023A0 (en) | Home card program |