Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks.
Monowar HasanSibin MohanPublished in: IoT S&P@CCS (2019)
Keyphrases
- safety critical
- control system
- formal methods
- embedded systems
- management system
- safety analysis
- fault tolerant
- active control
- distributed systems
- multi agent
- support systems
- low cost
- load balancing
- software systems
- agent architecture
- biometric systems
- intelligent systems
- medical images
- mobile devices
- artificial intelligence