Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets.
Romain ThibertGregory FarautSaïd AmariPublished in: ETFA (2023)
Keyphrases
- discrete event systems
- petri net
- cyber security
- cyber physical systems
- model based diagnosis
- intrusion detection
- critical infrastructure
- smart grid
- security issues
- telecommunication networks
- intrusion detection system
- complex systems
- network security
- information security
- machine learning
- visual analytics
- data analysis
- artificial intelligence