Modelling and Verification of Safety of Access Control in SCADA Systems.
Inna VistbakkaElena TroubitsynaPublished in: CRiSIS (2020)
Keyphrases
- access control
- high assurance
- fine grained
- data security
- access control mechanism
- dynamic access control
- security policies
- access control models
- critical infrastructure
- security mechanisms
- access control policies
- management system
- security model
- role based access control
- security requirements
- database security
- distributed systems
- access control systems
- operating system
- security architecture
- web services