Verification method, information processing device, recording medium, verification system, certification program, and verification program

An information processing apparatus having a virtual machine that executes processing relating to playback of contents recorded on a recording medium, wherein the recording medium stores thereon a verification program that is to be executed on the virtual machine so as to verify validity of an execution environment including the virtual machine, the information processing apparatus comprising:

• a processor device;
• a holding unit configured to hold therein a verification value table storing a value that dynamically changes while the information processing apparatus is executing processing, the value being dynamically changed so that the value corresponds to a predetermined address at predetermined time points;
• a reading unit configured to read the verification program;
• a virtual machine execution unit configured to, using the processor device, cause the virtual machine to execute the verification program;
• a receiving unit configured to receive, from the verification program being executed by the virtual machine, a request issued to the virtual machine to acquire a value held at the predetermined address at each predetermined time point, the predetermined address being designated by the verification program at each predetermined time point and used for verification to be performed at the predetermined time point;
• an acquiring unit configured to acquire the value held at the predetermined address designated by the verification program from the verification value table by using the virtual machine in response to the request;
• a providing unit configured to provide the verification program with the acquired value by using the virtual machine in response to the request;
• and
• a verification unit configured to verify, by using the virtual machine, whether the value provided by the providing unit is a valid value that is to be provided when the execution environment including the virtual machine is valid, and to determine that the execution environment including the virtual machine is invalid when the value is invalid.

An integrated circuit mounted on an information processing apparatus having a virtual machine that executes processing relating to playback of contents recorded on a recording medium, wherein the recording medium stores thereon a verification program that is to be executed on the virtual machine so as to verify validity of an execution environment including the virtual machine, the integrated circuit comprising:

• a holding unit configured to hold therein a verification value table storing a value that dynamically changes while the information processing apparatus is executing processing, the value being dynamically changed so that the value corresponds to a predetermined address at predetermined time points;
• a reading unit configured to read the verification program;
• a virtual machine execution unit configured to cause the virtual machine to execute the verification program;
• a receiving unit configured to receive, from the verification program being executed by the virtual machine, a request issued to the virtual machine to acquire a value held at the predetermined address at the predetermined time point, the predetermined address being designated by the verification program at each predetermined time point and used for verification to be performed at the predetermined time point;
• an acquiring unit configured to acquire the value held at the predetermined address designated by the verification program from the verification value table by using the virtual machine in response to the request;
• a providing unit configured to provide the verification program with the acquired value by using the virtual machine;
• and
• a verification unit configured to verify, by using the virtual machine, whether the value provided by the providing unit is a valid value that is to be provided when the execution environment including the virtual machine is valid, and to determine that the execution environment including the virtual machine is invalid when the value is invalid.

A verification system comprising:

• an information processing apparatus having a virtual machine that executes processing relating to playback of contents;
• and a recording medium storing thereon i) a verification program that is to be executed on the virtual machine so as to verify validity of an execution environment including the virtual machine, and ii) the contents,
• wherein the information processing apparatus includes:
• a processor device;
• a holding unit configured to hold therein a verification value table storing a value that dynamically changes while the information processing apparatus is executing processing, the value being dynamically changed such that the value corresponds to a predetermined address at predetermined time points;
• a reading unit configured to read the verification program;
• a virtual machine execution unit configured to, using the processor device cause the virtual machine to execute the verification program;
• a receiving unit configured to receive, from the verification program being executed by the virtual machine, a request issued to the virtual machine to acquire a value held at the predetermined address at each predetermined time point, the predetermined address being designated by the verification program at each predetermined time point and used for verification to be performed at the predetermined time point;
• an acquiring unit configured to acquire the value held at the predetermined address designated by the verification program from the verification value table by using the virtual machine in response to the request;
• a providing unit configured to provide the verification program with the acquired value by using the virtual machine;
• and
• a verification unit configured to verify, by using the virtual machine, whether the value provided by the providing unit is a valid value that is to be provided when the execution environment including the virtual machine is valid, and to determine that the execution environment including the virtual machine is invalid when the value is invalid.

A non-transitory computer readable recording medium having stored thereon a verification program used for verifying validity of an information processing apparatus having a virtual machine that executes processing relating to playback of contents, wherein the information processing apparatus includes:

• i) a holding unit configured to hold therein a verification value table storing a value that dynamically changes while the information processing apparatus is executing processing, the value being dynamically changed so that the value corresponds to a predetermined address at predetermined time points;
• and ii) a reading unit configured to read the verification program, and wherein, when executed, the verification program causes the information processing apparatus to perform a method comprising:
• a requesting step of designating, at each predetermined time point, the predetermined address used for verification to be performed at the predetermined time point, and requesting the virtual machine to acquire a value held at the predetermined address;
• a provision receiving step of receiving the value held at the predetermined address designated by the verification program from the virtual machine, the virtual machine acquiring the value held at the predetermined address at each predetermined time point from the verification value table in response to the request;
• and
• a verification step of verifying whether the value provided in the provision receiving step is a valid value that is to be provided when an execution environment including the virtual machine is valid, and determining that the execution environment including the virtual machine is invalid when the value is invalid.

A non-transitory computer readable recording medium having stored thereon a certification program used in an information processing apparatus having a virtual machine that executes processing relating to playback of contents recorded on a recording medium, wherein the recording medium stores thereon a verification program that is to be executed on the virtual machine so as to verify validity of an execution environment including the virtual machine, wherein the information processing apparatus includes:

• a holding unit configured to hold therein a verification value table storing a value that dynamically changes while the information processing apparatus is executing processing, the value being dynamically changed so that the value corresponds to a predetermined address at predetermined time points, and wherein, when executed, the certificate program causes the information processing apparatus to perform a method comprising:
• a reading step of reading the verification program;
• an execution step in which the virtual machine executes the verification program;
• a receiving step in which the verification program designates, at each predetermined time point, the predetermined address used for verification to be performed at the predetermined time point, and requests the virtual machine to acquire a value held at the predetermined address;
• an acquiring step in which the virtual machine, in response to the request, acquires the value held at the predetermined address designated by the verification program from the verification value table;
• a providing step in which the virtual machine provides the verification program with the acquired value;
• and
• a verification step in which the verification program being executed on the virtual machine verifies whether the value provided in the providing step is a valid value that is to be provided when the execution environment including the virtual machine is valid, and determines that the execution environment including the virtual machine is invalid when the value is invalid.