Patent ID: 9021568
Filing Date: 2015-04-28
Classification: G06F

Abstract:
1. A verification method for verifying validity of a control program, the control program being executed by a terminal device to remotely control an appliance via a server device, the verification method comprising: 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.