| 摘要 |
PROBLEM TO BE SOLVED: To detect a bypass or alteration of internal data while reducing operation loads.SOLUTION: An information processing apparatus includes an information processing unit for executing information processing in order on the basis of descriptions of a predetermined program, and a verification memory unit in which a value of a variable for verification is stored. A certain bit string (a) of a type A of a fixed bit length for which a plurality of basic bit strings of the two-bit length or more including at least 0 and 1 are combined is stored in the verification memory unit, a bit string x corresponding to the number of times of loop processing is generated, and inspection object information processing is executed. Also, a value for which the variable read from the verification memory unit and a bit string y included in the bit string x are exclusively ORed is subscribed in the verification memory unit. Further, the bit string x is subjected to a cyclic shift operation, it is determined whether or not the value of the variable read from the verification memory unit matches with a bit inversion value of the bit string (a), and thus it is determined whether or not an exclusive OR operation by a verification operation description is executed. |
