AttackDynamics Attack Graph Generator Software for Arbitrary Networks Summary of System Inputs and Outputs in Zed Notation Scenario Parts The system relies on scenario input which is dependent on metadata and dynamic user-input. Scenario Formal Definition Part 1 Scenario Formal Definition Part 2 System Parts Top Level View