Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems.
Robert MitchellIng-Ray ChenPublished in: IEEE Trans. Dependable Secur. Comput. (2015)
Keyphrases
- intrusion detection
- safety critical
- cyber security
- cyber physical systems
- formal methods
- intrusion detection system
- embedded systems
- network security
- anomaly detection
- normal behavior
- network traffic
- critical infrastructure
- information security
- fault tolerant
- formal specification
- agent architecture
- data mining techniques
- data mining
- unsupervised learning
- decision making
- computer networks
- model checking
- software systems
- artificial intelligence