Login / Signup
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