Sign in

Designing Secure SCADA Systems Using Security Patterns.

Eduardo B. FernándezMarí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