Probabilistic model checking for AMI intrusion detection.
Muhammad Qasim AliEhab Al-ShaerPublished in: SmartGridComm (2013)
Keyphrases
- intrusion detection
- model checking
- temporal logic
- anomaly detection
- intrusion detection system
- automated verification
- model checker
- verification method
- ambient intelligence
- network security
- temporal properties
- computation tree logic
- high detection rate
- formal verification
- network intrusion detection
- formal specification
- network traffic
- epistemic logic
- symbolic model checking
- network intrusion
- information security
- bounded model checking
- alert correlation
- bayesian networks
- concurrent systems
- probabilistic model
- transition systems
- formal methods
- intrusion prevention
- data mining techniques
- software engineering
- timed automata
- linear temporal logic
- network attacks
- learning algorithm
- network intrusions
- data mining