Bridging Threat Models and Detections: Formal Verification via CADP

Dumitru-Bogdan Prelipcean, Cătălin Dima

Threat detection systems rely on rule-based logic to identify adversarial behaviors, yet the conformance of these rules to high-level threat models is rarely verified formally. We…