Authenticity

Verifies whether the designed system does maintain the authenticity of messages.
Checks
Activity
Connection
Data
ControlFlow
State
Entity
Detects
CWE691
CWE696