Intrusion detection system using timed automata for cyber physical systems.
K. S. UmadeviP. BalakrishnanG. KousalyaPublished in: J. Intell. Fuzzy Syst. (2019)
Keyphrases
- intrusion detection system
- timed automata
- cyber physical systems
- cyber security
- intrusion detection
- model checking
- cyber physical
- network security
- anomaly detection
- computer networks
- theorem prover
- critical infrastructure
- network traffic
- theorem proving
- first order logic
- physical world
- computer systems
- real time systems
- distributed intrusion detection
- embedded systems
- data mining techniques
- social networks
- real time
- normal behavior
- control system
- reinforcement learning