Analysis system, method, and program
The analysis unit 6 generates one or more pairs of a start point fact which is a fact representing possibility of attack in a device that is a start point and an end point fact which is a fact representing possibility of attack in a device that is an end point. The analysis unit 6 analyzes, for each pair, whether or not it is possible to derive the end point fact from the start point fact, and generates an attack graph from a node corresponding to the start point fact to a node corresponding to the end point fact, in a case where it is possible to derive the end point fact from the start point fact.
1. An analysis system comprising:
a fact generation unit which generates a fact which is data representing security situation of a system to be diagnosed, based on information regarding each device included in the system to be diagnosed; and
an analysis unit which generates one or more pairs of a start point fact which is a fact representing possibility of attack in a device that is a start point and an end point fact which is a fact representing possibility of attack in a device that is an end point, analyzes, for each pair, whether or not it is possible to derive the end point fact from the start point fact, based on facts representing states of the devices generated based on information regarding the device that is the start point and information regarding the device that is the end point, the start point fact, and one or more analysis rules for analyzing the attack, without using facts representing states of devices generated based on information regarding a device that is not either the device that is the start point or the device that is the end point, and generates an attack graph from a node corresponding to the start point fact to a node corresponding to the end point fact, in a case where it is possible to derive the end point fact from the start point fact.
2. The analysis system according to claim 1 , wherein
the analysis unit
connects attack graphs to each other when the generated attack graphs can be connected to each other.
3. The analysis system according to claim 2 , wherein
when the end point fact of one attack graph matches the start point fact of another attack graph, the analysis unit determines that the attack graphs can be connected.
4. The analysis system according to claim 2 , wherein
when the end point fact of one attack graph matches the start point fact of another attack graph, the analysis unit connects the attack graphs by making the node corresponding to the end point fact and the node corresponding to the start point fact the same node.
5. The analysis system according to claim 1 , wherein
the analysis unit
generates a combination of one of the devices, one of multiple types of attack states defined in advance, and one of privileges that can correspond to the attack state, as the start point fact, and
generates a combination of one of the devices, one of the multiple types of the attack states, and one of privileges that can correspond to the attack state, as the end point fact.
6. The analysis system according to claim 1 , wherein
the analysis rule includes an element corresponding a condition, and an element representing a new fact,
wherein the analysis unit repeats operation of deriving a new fact based on the analysis rule if there is an existing fact which matches the element corresponding the condition, and adding the new fact to existing facts, and
determines that it is possible to derive the end point fact from the start point fact if the new fact corresponds to the end point fact.
7. The analysis system according to claim 1 , wherein
the analysis unit
generates the start point fact and the end point fact based on some of the devices included in the system to be diagnosed.
8. The analysis system according to claim 7 , wherein
some of the devices included in the system to be diagnosed are devices included in same subnet of the system to be diagnosed.
9. The analysis system according to claim 7 , wherein
some of the devices included in the system to be diagnosed are devices that can communicate directly.
10. The analysis system according to claim 1 , further comprising:
a display control unit which displays the attack graph generated by the analysis unit on a display device.
11. An analysis method, wherein one or more computers
generate a fact which is data representing security situation of a system to be diagnosed, based on information regarding each device included in the system to be diagnosed; and
generate one or more pairs of a start point fact which is a fact representing possibility of attack in a device that is a start point and an end point fact which is a fact representing possibility of attack in a device that is an end point, analyze, for each pair, whether or not it is possible to derive the end point fact from the start point fact, based on facts representing states of the devices generated based on information regarding the device that is the start point and information regarding the device that is the end point, the start point fact, and one or more analysis rules for analyzing the attack, without using facts representing states of devices generated based on information regarding a device that is not either the device that is the start point or the device that is the end point, and generate an attack graph from a node corresponding to the start point fact to a node corresponding to the end point fact, in a case where it is possible to derive the end point fact from the start point fact.
12. A non-transitory computer-readable recording medium in which an analysis program is recorded, the analysis program causing a computer to execute:
a fact generation process of generating a fact which is data representing security situation of a system to be diagnosed, based on information regarding each device included in the system to be diagnosed; and
an analysis process of generating one or more pairs of a start point fact which is a fact representing possibility of attack in a device that is a start point and an end point fact which is a fact representing possibility of attack in a device that is an end point, analyzing, for each pair, whether or not it is possible to derive the end point fact from the start point fact, based on facts representing states of the devices generated based on information regarding the device that is the start point and information regarding the device that is the end point, the start point fact, and one or more analysis rules for analyzing the attack, without using facts representing states of devices generated based on information regarding a device that is not either the device that is the start point or the device that is the end point, and generating an attack graph from a node corresponding to the start point fact to a node corresponding to the end point fact, in a case where it is possible to derive the end point fact from the start point fact.