Overview
System Model
SecLan Model
Hoisl et al.
Secure Object Flows
Verifies that constraints in the designed object flows hold, i.e., that the flows are secure
Checks
Activity
Entity
InformationFlow
Data
Detects
CWE349
CWE454