Overview
System Model
SecLan Model
SecDFD
Label Propagation
propagates security labels according to local security policies
Checks
Activity
InformationFlow
Entity
Detects
CWE200
CWE349
CWE345