An SMT-based approach to secure state estimation under sensor and actuator attacks.
Mehrdad ShowkatbakhshYasser ShoukryRobert H. ChenSuhas N. DiggaviPaulo TabuadaPublished in: CDC (2017)
Keyphrases
- state estimation
- secure routing
- security mechanisms
- kalman filter
- stream cipher
- cryptographic protocols
- security protocols
- chosen plaintext
- dynamic systems
- state space model
- kalman filtering
- multi sensor
- security measures
- particle filter
- sensor networks
- visual tracking
- countermeasures
- particle filtering
- advanced encryption standard
- security requirements
- security issues
- statistical machine translation
- object tracking