Sign in
Designing Secure SCADA Systems Using Security Patterns.
Eduardo B. Fernández
María M. Larrondo-Petrie
Published in:
HICSS (2010)
Keyphrases
</>
security patterns
formal model
security requirements
security properties
requirements engineering
data model
control system
software engineering
distributed systems
computer systems
formal methods
key management