SecDFD

A practical and formal approach to analyze security-centric information flow policies at the level of the design model.

Security DSLs provided by the Tool
Name
Description
Annotations to specify data flow contracts on data flow diagrams.
Security Checks provided by the Tool
Name
Description
propagates security labels according to local security policies