Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs.
Muluken HailesellasieSyed Rafay HasanPublished in: J. Hardw. Syst. Secur. (2018)
Keyphrases
- intrusion detection
- formal verification
- control system
- model checking
- intrusion detection system
- anomaly detection
- model checker
- automated verification
- bounded model checking
- network intrusion detection
- network traffic
- network security
- symbolic model checking
- high detection rate
- critical infrastructure
- network intrusion
- cyber security
- information security
- artificial immune
- computer security
- network intrusions
- intrusion prevention
- data mining techniques
- object recognition
- database systems
- data sets