Electrical computers and digital processing systems: support – Computer program modification detection by cryptography
Patent
1997-11-17
2000-05-30
Barron, Jr., Gilberto
Electrical computers and digital processing systems: support
Computer program modification detection by cryptography
713167, 713189, 713200, 709303, G06F 1900
Patent
active
060702397
ABSTRACT:
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.
REFERENCES:
patent: 4926476 (1990-05-01), Covey
patent: 5224160 (1993-06-01), Paulini et al.
patent: 5421006 (1995-05-01), Jablon et al.
patent: 5475753 (1995-12-01), Barbara et al.
patent: 5479509 (1995-12-01), Ugon
patent: 5504814 (1996-04-01), Miyahara
patent: 5559884 (1996-09-01), Davidson et al.
patent: 5692047 (1997-11-01), McManis
Barron Jr. Gilberto
Sun Microsystems Inc.
LandOfFree
System and method for executing verifiable programs with facilit does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for executing verifiable programs with facilit, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for executing verifiable programs with facilit will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1919054