pwnPr3d: An Attack-Graph-Driven Probabilistic Threat-Modeling Approach
Umlsec: extending uml for secure systems development