Reusable Formal Models for Threat Specification, Detection, and Treatment.

Quentin Rouland Brahim Hamid Jason Jaskolka

Published in: ICSR (2020)

Keyphrases

petri net
formal models
process model
formal model
automatic detection
rule based systems
detection method
false positives
false alarms
object detection
detection algorithm
detection accuracy
detection rate
high level
knowledge discovery
expert systems
data sets
specification language