Industrial Control System Attack Detection Model Based on Bayesian Network and Timed Automata.
Ye SunGang WangPei-zhi YanLi-fang ZhangXu YaoPublished in: BigData Congress (2021)
Keyphrases
- attack detection
- timed automata
- control system
- bayesian networks
- multistage
- model checking
- critical infrastructure
- cyber attacks
- intrusion detection system
- theorem prover
- theorem proving
- fuzzy logic
- graphical models
- intrusion detection
- first order logic
- real time systems
- product recommendation
- real time
- rough sets
- classification accuracy