Attack Tree

• Attack Tree
  • Attack Tree — An overview of the Attack Tree module.
  • distribution tlist — The distribution tlist data type.
  • atkTr_and — sorted distribution tlist conjunction (and)
  • atkTr_compact — compacts a multiset distribution tlist
  • atkTr_erlangBounds — discrete Erlang distribution bounds
  • atkTr_loadDist — loads a tlist distribution from a text file.
  • atkTr_lowerBound — lowerBound with a limited number of states
  • atkTr_merge — distribution tlist merge
  • atkTr_or — sorted distribution tlist disjunction (or)
  • atkTr_saveDist — saves a tlist distribution in a text file.
  • atkTr_seq — sorted distribution tlist sequential conjunction (seq)
  • atkTr_sortState — sorts a multiset distribution tlist with the states in ascending order
  • atkTr_upperBound — upperBound with a limited number of states