Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems.
Inna VistbakkaElena TroubitsynaPublished in: IMBSA (2019)
Keyphrases
- control system
- industrial automation
- access control
- security issues
- security policies
- intrusion detection
- real time
- information security
- security requirements
- formal specification
- network security
- statistical databases
- security problems
- information assurance
- safety analysis
- security management
- security systems
- computer security
- formal methods
- formal model
- key management
- security analysis
- critical infrastructure
- functional requirements
- formal analysis
- united states
- anomaly detection