Patent ID: 8918654

Claim:
A device for processing information, comprising: a first storage that stores therein a plurality of types of security functions each defining a first protection attribute that specifies, for a value of each data type that is input and output as an argument to a source code specification of at least one security function, whether the value is to be stored in a protected memory area or an unprotected memory area; a second storage that stores therein a program list in which a second protection attribute of a variable indicating a storage area of the value of each data type and an executing procedure of a predetermined process using at least one of the plurality of types of security functions are described; and circuitry configured to: identify a third protection attribute of the value of each data type that is input and output as the argument to the at least one security function which is described in the program list based on the second protection attribute; judge whether all of third protection attributes match with corresponding first protection attributes stored in the first storage; and output, when not all of the third protection attributes match with the corresponding first protection attributes, error information indicating a mismatch.