Timed Automata Networks for SCADA Attacks Real-Time Mitigation.

Francesco Mercaldo Fabio Martinelli Antonella Santone

Published in: KES-IDT (2022)

Keyphrases

timed automata
real time
control system
real time systems
reachability analysis
model checking

low cost
social networks
supervisory control
risk management
quality of service

data acquisition
complex networks
network structure
watermarking scheme
theorem prover

temporal logic
computer networks
vision system
high speed
artificial intelligence