SAT-based synthesis of spoofing attacks in cyber-physical control systems.

Omar Inverso Alberto Bemporad Mirco Tribastone

Published in: ICCPS (2018)

Keyphrases

cyber physical
control system
social networks
physical world
cyber physical systems
situation awareness
ddos attacks
physical space
sat solvers
ubiquitous computing
real time
virtual world
risk management
real environment