Verification processing device, verification method, and program
A verification processing device includes: an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected; a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refines a cause element which is an element of a cause of the insecure event; and a receiving unit which receives, from an operator, a selection of at least one cause element from among a plurality of the cause elements, wherein the inspection processing unit performs the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.
1 . A verification processing device, comprising:
an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected;
a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refines a cause element which is an element of a cause of the insecure event; and
a receiving unit which receives, from an operator, a selection of at least one cause element from among a plurality of the cause elements
wherein the inspection processing unit performs the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.
2 . The verification processing device according to claim 1 , wherein the receiving unit further receives an input of details of the measure to be taken for the selected cause element.
3 . The verification processing device according to claim 2 , further comprising:
a display processing unit which displays a history of the selected cause element and results of the model inspection performed once again.
4 . The verification processing device according to claim 3 , wherein the receiving unit is able to return to an arbitrary stage in the history and receive a selection of the cause element once again.
5 . The verification processing device according to claim 4 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
6 . The verification processing device according to claim 3 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
7 . The verification processing device according to claim 2 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
8 . The verification processing device according to claim 1 , further comprising:
a display processing unit which displays a history of the selected cause element and results of the model inspection performed once again.
9 . The verification processing device according to claim 8 , wherein the receiving unit is able to return to an arbitrary stage in the history and receive a selection of the cause element once again.
10 . The verification processing device according to claim 9 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
11 . The verification processing device according to claim 8 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
12 . The verification processing device according to claim 1 , further comprising:
a generating unit which generates a measure list showing a list of cause elements selected until there is no insecure event in the model inspection performed once again of a first model to be inspected,
wherein the inspection processing unit performs a model inspection on a second model to be inspected for the improved model to be inspected to which a prescribed measure has been executed for all the cause elements shown in the measure list.
13 . A verification method, comprising:
a step of extracting elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected;
a step of determining, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refining a cause element which is an element of a cause of the insecure event;
a step of receiving, from an operator, a selection of at least one cause element from among a plurality of the cause elements; and
a step of performing the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.
14 . A non-transitory computer-readable recording medium storing a program causing a computer of a verification processing device to execute:
a step of extracting elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected;
a step of determining, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refining a cause element which is an element of a cause of the insecure event;
a step of receiving, from an operator, a selection of at least one cause element from among a plurality of the cause elements; and
a step of performing the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.