Constraints
Attacker
Defender
Attack Tree
Overview
Details
Excluded Attacks
Activated defences that are not applicable to this attack tree
Defences and effortless attacks in the attack tree
Defences inside an effortless attack are skipped when calculating its parents values.
Properties
Including directly stated values
Means
for end
sufficient
necessary
or
and
is false
false
true
none
duplicate property name
at attack node
'type' attribute must be set to 'or' or 'and'
Duplicate filter request for property
Properties of type 'rationalScaleDefender' refer to the defender and therefore cannot be filtered, but can only be mentioned below 'enabledDefences'. The name of the affected property is
Specification of a value for filtering does not make sense when applied to a property of type 'boolean'. The name of the affected property is
duplicate type declaration of the property
missing type declaration of the property
Faulty XML input
'repeat' attribute contains a property with the inappropriate type
effortless attack
excluded attack
The attack can be performed effortlessly, because there is no defence. In order to change that, write the value of the 'defence' attribute below 'enabledDefences'.
Create a 'defence' attribute for the property first.
The attack would be effortless even with the defence enabled. So we disable it here.
This value deters the attacker.
Remove or decrease the respective value below 'filter' in order to change that.
for defence
by
The value on the right originates from these attack nodes.
using defaults from
You may want to add a value for the property in the respective subgoal.
ERROR: attempt to filter type 'rationalScaleDefender'
WARNING: Type unknown
ERROR: Type of attacknode from XML file is required to set the default value.
WARNING: Probabilities greater than 100% do not make sense.
through repetition based on
WARNING: Or-node without subgoals.
WARNING: No value specified in the XML file. Using default.
ERROR: Attempt to assign a value to the reserved property
ERROR: The reserved property must be of type boolean