METHOD AND DEVICE FOR VERIFYING PROGRAM AND STORAGE MEDIUM STORING PROGRAM VERIFICATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To verify that a supplied program safely operates by permitting an inspection organization to decide whether the program executed after the inspection of the operation of the program is falsified or not. SOLUTION: When an open key (c) for verifying information is given (S1), proof information (a) is verified by the open key (c), and the open key (a) of a program supplier is recognized (S2). Information obtained by decoding ciphering information (a) by the open key (a) and a password algorithm corresponding to the identifier (a) of the password algorithm is compared with the hash value of a program in order to decided whether the program is falsified or not after it has been supplied (S3). Proof information (b) is verified by the open key (c), and the open key (b) of an inspection organization inspecting the operation of the program is recognized (S4). Information obtained by decoding ciphering information (b) by the open key (b) and the password algorithm corresponding to identification information (b) of the password algorithm is compared with the hash value of the program in order to decide whether the program is falsified or not after the operation has been inspected (S5).