Automated construction of security integrity wrappers for Industry 4.0 applications.
Vivek NigamCarolyn L. TalcottPublished in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
- data integrity
- trusted computing
- high assurance
- construction industry
- integrity verification
- information flow control
- information security
- security policies
- semi automated
- access control
- fully automated
- security requirements
- data security
- computer security
- security issues
- network security
- data confidentiality
- intrusion detection
- data extraction
- information flow
- construction process
- data protection
- security protocols
- human operators
- statistical databases
- web information extraction
- data storage