PROGRAM VERIFICATION METHOD, VERIFICATION PROGRAM, AND INFORMAITON PROCESSING DEVICE

Title:

PROGRAM VERIFICATION METHOD, VERIFICATION PROGRAM, AND INFORMAITON PROCESSING DEVICE

Document Type and Number:

WIPO Patent Application WO/2016/185577

Kind Code:

A1

Abstract:

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.

Inventors:

ABE YASUHIKO (JP)

Application Number:

PCT/JP2015/064428

Publication Date:

November 24, 2016

Filing Date:

May 20, 2015

Export Citation:

Click for automatic bibliography generation Help

Assignee:

FUJITSU LTD (JP)

International Classes:

G06F21/57

Foreign References:

JP2012032925A	2012-02-16
JP2015055898A	2015-03-23
JP2015049785A	2015-03-16
JP2009009372A	2009-01-15

Other References: