Formally Verified Credentials Management for Industrial Control Systems.
Tomas KulikJalil BoudjadarDiego F. AranhaPublished in: FormaliSE@ICSE (2021)
Keyphrases
- control system
- industrial automation
- industrial applications
- information systems
- management system
- knowledge management
- quality improvement
- data management
- web services
- data processing
- multi agent systems
- case study
- decision support
- industrial engineering
- genetic algorithm
- information management
- project management
- industrial environment
- workflow management systems
- private data
- database
- closed loop
- access control
- digital libraries
- website
- decision making
- social networks
- artificial intelligence
- data sets
- real time