An overview of the Attack Tree module.
This module functions compute the distributions defined in attack trees with disjunction, conjunction and sequential conjunction gates from the distributions of the tree leaves which correspond to basis attacks.
A tool which generates a discrete lower bounding and a discrete upper bounding of Erlang distributions is provided. These boundings can be used as basis attacks.