Invention Grant
- Patent Title: Method and apparatus for transitive program verification
- Patent Title (中): 用于传递程序验证的方法和装置
-
Application No.: US12186198Application Date: 2008-08-05
-
Publication No.: US09122864B2Publication Date: 2015-09-01
- Inventor: John C. Dayka , Walter Barlett Farrell , Richard Henry Guski , James W. Sweeny
- Applicant: John C. Dayka , Walter Barlett Farrell , Richard Henry Guski , James W. Sweeny
- Applicant Address: US NY Armonk
- Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee Address: US NY Armonk
- Agent William A. Kinnaman, Jr.
- Main IPC: G06F11/30
- IPC: G06F11/30 ; G06F12/14 ; G06F21/44 ; G06F21/57

Abstract:
A method, apparatus and program storage device for program verification in an information handling system in which an application program runs on an operating system having a signature verification function for verifying a digital signature of the application program. Upon loading of the application program, the signature verification function of the operating system verifies the digital signature of the application program and, if the digital signature is verified, initiates execution of the application program. Upon initiation of execution of the application program, a verification testing function associated with the application program tests the signature verification function of the operating system by presenting to it a sequence of test digital signatures in a specified pattern of true and false signatures. If its test of the signature verification function of the operating system is successful, the application program initiates normal execution. Otherwise, the application program terminates without initiating normal execution.
Public/Granted literature
- US20100037065A1 Method and Apparatus for Transitive Program Verification Public/Granted day:2010-02-11
Information query