Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way.
Matteo ZavatteriCarlo CombiRomeo RizziLuca ViganòPublished in: Inf. Comput. (2021)
Keyphrases
- access control
- consistency checking
- temporal constraints
- temporal reasoning
- dynamic access control
- fine grained
- data security
- security policies
- query answering
- role based access control
- temporal information
- access control models
- security requirements
- path consistency
- security mechanisms
- security model
- access control policies
- constraint propagation
- database security
- database management systems
- arc consistency
- access control mechanism
- rbac model
- mobile devices