InformationFlow Analysis

Modeling and analysis of secure data flows on an architectural level.

Security DSLs provided by the Tool
Name
Description
Input model for the secure data flow analysis. Annotations to specify security properties of elements of the Palladio Component Model for analysis of secure data flow.
Security Checks provided by the Tool
Name
Description
Propagates data characteristics and checks whether the data and node characteristics violates constraints