摘要 |
<P>PROBLEM TO BE SOLVED: To appropriately determine protective attribute for each variable of a program according to a security protocol. <P>SOLUTION: The information processor 1 makes coinciding protective attribute information determined to be protective attribute for each variable, when protective attribute information of all input/output variables of a first real function coincides with protective attribute included in any one of first real function type information stored in a second function type storage section, as for all of the first real functions in programs stored in a program storage section. <P>COPYRIGHT: (C)2012,JPO&INPIT |