Patent ID: 8732444

Claim:
An information processing device comprising: a program storing unit configured to store a plurality of programs including first programs and second programs, the first programs being a plurality of programs expected to be booted in a first sequence, and the second programs being a plurality of programs expected to be booted in a second sequence; a first managing unit configured to manage first accumulated information, the first accumulated information indicating one or more programs which have been booted among the first programs; a second managing unit configured to manage second accumulated information, the second accumulated information indicating one or more programs which have been booted among the second programs, the second managing unit being distinct from the first managing unit; a certificate storing unit configured to store first certificate and second certificate, the first certificate including first expected accumulated information and first setting information, the second certificate including second expected accumulated information and second setting information, the first expected accumulated information indicating that all of the first programs have been booted in the first sequence, the second expected accumulated information indicating that none of the second programs have been booted, the first setting information being expected to be identical to the second setting information, the second setting information being a value to be accumulated into the second accumulated information; a controlling unit, when last program in the first sequence has booted and before initial program in the second sequence is booted, configured to: (i) control the first managing unit to verify that all of the first programs have been booted in the first sequence when the first accumulated information matches the first expected accumulated information; (ii) control the second managing unit to verify that none of the second programs have been booted when the second accumulated information matches the second expected accumulated information; (iii) verify that the first setting information matches the second setting information; and (iv) control the second managing unit to accumulate the second setting information into the second accumulated information in order to indicate that all of the first programs have been booted in the first sequence and none of the second programs have been booted, when it is verified that (a) all of the first programs have been booted in the first sequence, (b) none of the second programs have been booted, and (c) the first setting information matches the second setting information.