Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications.
Vivek NigamCarolyn L. TalcottPublished in: WRLA@ETAPS (2020)
Keyphrases
- data integrity
- trusted computing
- information flow control
- integrity verification
- construction industry
- data confidentiality
- access control
- high assurance
- fully automated
- intrusion detection
- information security
- security issues
- security mechanisms
- human operators
- construction process
- semi automated
- statistical databases
- security policies
- information flow
- network security
- case study
- computer security
- security requirements
- security protocols
- data security
- data protection
- website
- web information extraction
- cloud computing