摘要 |
PROBLEM TO BE SOLVED: To provide an execution order verification system, an execution order verification method and an execution order verification program, for verifying a program execution order. SOLUTION: The execution order verification system 1 includes a terminal 10 and a tamper-resistant device 20. The terminal 10 includes: a smoothing part 11 smoothing a control structure of a program; a control variable value request part 12 transmitting a control variable value request signal for making a request to transmit a control variable value to be taken by a control variable for controlling the execution order of the program to the tamper-resistant device 20; and an execution processing part 13 substituting the control variable value transmitted from the tamper-resistant device 20 in response to the control variable value request signal for the control variable, and executing the program based on the value substituted for the control variable. The tamper-resistant device 20 includes: a control variable value transmission part 21 transmitting the control variable value to the terminal 10 in response to the control variable value request signal; and an execution order verification part 22 verifying the program execution order in the terminal 10 based on the control variable value request signal. COPYRIGHT: (C)2010,JPO&INPIT |