Verification method for verifying validity of program, and verification system

A system including a terminal device, an appliance and a server device, the terminal device executing a control program to remotely control the appliance via the server device,

• the terminal device comprising:
• a unique identifier acquiring unit acquiring a unique identifier from a unique identifier storage device that stores therein the unique identifier, the unique identifier being assigned to a user of the terminal device;
• a parameter acquiring unit acquiring a parameter generated by the server device, the parameter being assigned to the control program;
• a generating unit repeatedly generating verification data during execution of the control program based on partial data, the unique identifier, and the parameter, the partial data being at least a portion of the control program;
• and
• a transmitting unit transmitting the verification data to the server device every time the verification data is generated, and
• the server device comprising:
• a receiving unit receiving the verification data;
• a comparison data generating unit, every time the receiving unit receives the verification data, generating comparison data by using at least one of:
• an ID stored in correspondence with an authorized user of the control program;
• the parameter;
• and a portion of a control program stored in the server device, the control program stored in the server device being in correspondence with the control program executed by the terminal device, and the portion of the control program stored in the server device being in correspondence with the partial data;
• a determining unit determining whether the control program stored in the terminal device is valid by comparing the verification data with the comparison data;
• and
• a controlling unit prohibiting the terminal device from remotely controlling the appliance when the control program is determined as not valid by the determining unit.

A computer-readable recording medium storing thereon a computer program to be executed in a system including a terminal device, an appliance and a server device, the terminal device executing a control program to remotely control the appliance via the server device, the computer program performing:

• a unique identifier acquiring step of acquiring a unique identifier from a unique identifier storage device that stores therein the unique identifier, the unique identifier being assigned to a user of the terminal device;
• a parameter acquiring step of acquiring a parameter generated by the server device, the parameter being assigned to the control program;
• a generating step of repeatedly generating verification data during execution of the control program based on partial data, the unique identifier, and the parameter, the partial data being at least a portion of the control program;
• a transmitting step of transmitting the verification data to the server device every time the verification data is generated;
• a comparison data generating step of, every time the server device receives the verification data, generating comparison data by using at least one of:
• an ID stored in correspondence with an authorized user of the control program;
• the parameter;
• and a portion of a control program stored in the server device, the control program stored in the server device being in correspondence with the control program executed by the terminal device, and the portion of the control program stored in the server device being in correspondence with the partial data;
• a determining step of determining whether the control program stored in the terminal device is valid by comparing the verification data with the comparison data;
• and
• a controlling step of prohibiting the terminal device from remotely controlling the appliance when the control program is determined as not valid in the determining step.

An integrated circuit for composing a system including a terminal device, an appliance and a server device, the terminal device executing a control program to remotely control the appliance via the server device, comprising:

• a unique identifier acquiring unit acquiring a unique identifier from a unique identifier storage device that stores therein the unique identifier, the unique identifier being assigned to a user of the terminal device;
• a parameter acquiring unit acquiring a parameter generated by the server device, the parameter being assigned to the control program;
• a generating unit repeatedly generating verification data during execution of the control program based on partial data, the unique identifier, and the parameter, the partial data being at least a portion of the control program;
• a transmitting unit transmitting the verification data to the server device every time the verification data is generated;
• a comparison data generating unit, every time the server device receives the verification data, generating comparison data by using at least one of:
• an ID stored in correspondence with an authorized user of the control program;
• the parameter;
• and a portion of a control program stored in the server device, the control program stored in the server device being in correspondence with the control program executed by the terminal device, and the portion of the control program stored in the server device being in correspondence with the partial data;
• a determining unit determining whether the control program stored in the terminal device is valid by comparing the verification data with the comparison data;
• and
• a controlling unit prohibiting the terminal device from remotely controlling the appliance when the control program is determined as not valid by the determining unit.