Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.
Inna VistbakkaElena TroubitsynaTuomas KuisminTimo LatvalaPublished in: SERENE (2017)
Keyphrases
- industrial automation
- control system
- critical infrastructure
- multi agent systems
- safety critical
- information security
- engineering design
- safety analysis
- artificial intelligence
- formal methods
- software engineering
- industrial engineering
- service oriented architecture
- access control
- computer science
- technology transfer
- engineering problems
- neural network
- data mining
- chemical process
- security measures
- engineering students
- security issues
- formal specification
- formal model
- computer security
- key management
- engineering education
- risk analysis
- functional requirements
- security problems
- security threats
- security requirements
- security policies
- closed loop
- design process
- formal ontologies