0778520-A2 is referenced by 113 patents and cites 5 patents.

A computer system includes a program executer that executes verifiable architecture neutral programs and a class loader that prohibits the loading and execution of non-verifiable programs unless (A) the non-verifiable program resides in a trusted repository of such programs, or (B) the non-verifiable program is indirectly verifiable by way of a digital signature on the non-verifiable program that proves the program was produced by a trusted source. In the preferred embodiment, verifiable architecture neutral programs are Java bytecode programs whose integrity is verified using a Java bytecode program verifier. The non-verifiable programs are generally architecture specific compiled programs generated with the assistance of a compiler. Each architecture specific program typically includes two signatures, including one by the compiling party and one by the compiler.; Each digital signature includes a signing party identifier and an encrypted message. The encrypted message includes a message generated by a predefined procedure, and is encrypted using a private encryption key associated with the signing party. A digital signature verifier used by the class loader includes logic for processing each digital signature by obtaining a public key associated with the signing party, decrypting the encrypted message of the digital signature with that public key so as generate a decrypted message, generating a test message by executing the predefined procedure on the architecture specific program associated with the digital signature, comparing the test message with the decrypted message, and issuing a failure signal if the decrypted message digest and test message digest do not match.

Title
System and method for executing verifiable programs with facility for using non-verifiable programs from trusted sources
Application Number
EP19960308582 19961127
Publication Number
0778520 (A2)
Application Date
November 27, 1996
Publication Date
June 11, 1997
Inventor
Mcmanis Charles E
US
Assignee
Sun Microsystems
US
IPC
G06F 09/45
G06F 09/445
G06F 21/00
G06F 09/46
G06F 09/445
G06F 09/44
G06F 01/00
G06F 21/22
G06F 21/00
G06F 09/50
G06F 09/445
G06F 09/44
G06F 01/00
G06F 21/22
View Original Source Download PDF