Semiautomated Verification of Access Control Implementation in Industrial Networked Systems.
Manuel CheminodLuca DuranteLucia SenoAdriano ValenzanoPublished in: IEEE Trans. Ind. Informatics (2015)
Keyphrases
- access control
- high assurance
- fine grained
- semi automated
- access control mechanism
- security requirements
- access control models
- security policies
- dynamic access control
- security architecture
- identity management
- data security
- management system
- role assignment
- security model
- security mechanisms
- operating system
- access control systems
- computer systems
- role based access control
- access control policies
- database management systems
- distributed systems
- information systems