Login / Signup
Formal Model In-The-Loop for Secure Industrial Control Networks.
Laurynas Ubys
Valeriu Nicolas Vancea
Tomas Kulik
Peter Gorm Larsen
Jalil Boudjadar
Diego F. Aranha
Published in:
FACS (2022)
Keyphrases
</>
formal model
security patterns
security properties
social networks
control system
control strategy
feedback loop
network structure
control method
formal models
predicate calculus
software engineering
quality of service
complex networks
industrial applications
security issues
real time