| 摘要 |
This program verification method comprises a process which, when starting up a computer, reads out from a first storage unit a first value which is computed from each portion of a program prior to shutting down the computer, and determines the validity of the program on the basis of the first value which has been read out and a second value which is stored in a second storage unit and which is computed from each portion of a valid program. |
