Attack-Fault TreesA framework to capture the temporal and causal security and safety interactions in reliability block diagrams (RBD) through Attack-fault trees (AFTs). AFTs are a formalism for the combined safety-security analysis that integrates both attack trees and fault trees. |  |
Security DSLs provided by the Tool
Name
Description
A combined model of dynamic reliability block diagrams (DRBD) and attack-fault trees (AFT).
Security Checks provided by the Tool
Name
Description