A Formal Authorization Framework for Networked SCADA Systems.

Ondrej Rysavý Jaroslav Ráb Patrik Halfar Miroslav Svéda

Published in: ECBS (2012)

Keyphrases

trust management
main contribution
control system
distributed systems
theoretical framework
complex systems
conceptual framework
data sets
decision making
multimedia
expert systems
management system
data processing
fine grained
formal methods