A formal model for verifying stealthy attacks on state estimation in power grids.
Mohammad Ashiqur RahmanEhab Al-ShaerMd. Ashfaqur RahmanPublished in: SmartGridComm (2013)
Keyphrases
- formal model
- state estimation
- power grids
- kalman filter
- power grid
- wind power
- telecommunication systems
- dynamic systems
- particle filter
- kalman filtering
- visual tracking
- particle filtering
- smart grid
- critical infrastructure
- wind speed
- cyber attacks
- security properties
- cyber security
- real time
- intrusion detection
- learning algorithm
- information security
- information systems
- three dimensional
- long term
- security protocols
- state space
- security mechanisms
- power system
- appearance model