Anomaly detection in cyber-physical systems: A formal methods approach.
Austin JonesZhaodan KongCalin BeltaPublished in: CDC (2014)
Keyphrases
- formal methods
- anomaly detection
- cyber physical systems
- cyber security
- intrusion detection
- physical world
- intrusion detection system
- knowledge based systems
- anomalous behavior
- artificial intelligence
- formal specification
- network traffic
- model checking
- embedded systems
- detecting anomalies
- network security
- network intrusion detection
- critical infrastructure
- software engineering
- negative selection algorithm
- detect anomalies
- computer networks
- one class support vector machines
- feature selection
- smart grid