Deriving and Formalising Safety and Security Requirements for Control Systems.
Elena TroubitsynaInna VistbakkaPublished in: SAFECOMP (2018)
Keyphrases
- security requirements
- control system
- smart card
- information security
- security analysis
- access control
- security mechanisms
- security concerns
- security model
- security problems
- security properties
- software architecture
- security policies
- mobile commerce
- secure electronic
- security patterns
- distributed systems
- reference models
- requirements engineering
- secret key
- multi agent
- information systems
- artificial intelligence
- databases
- real time