CARDS

CARDS is a security modeling approach on the architectural level which validate assumptions made in the threat modeling phase by source code analysis. Cards helps ensuring a correct implementation but also allows one to determine which effect code vulnerabilities can have on the overall architecture.

Security DSLs provided by the Tool
Name
Description
CARDS is a domain-specific language for specifying data flow constraints and architectural level assumptions.
Security Checks provided by the Tool
Name
Description
Analyzes whether the information flows in the specified design conform to the restrictions and assumptions.