Overview
System Model
SecLan Model
UMLsec
secure links
Analyzes that critical information is only communicated over sufficiently protected connections.
Checks
Component
Entity
Connection
InformationFlow
ControlFlow
Detects
CWE300
CWE311