Formal Design Analysis Framework FDAF

A framework for weaving security aspects into an UML architecture design.

Security DSLs provided by the Tool
Name
Description
The metamodel used by FDAF.
Security Checks provided by the Tool
Name
Description