Dynamic Event-Based Access Control as Term Rewriting.
Clara BertolissiMaribel FernándezSteve BarkerPublished in: DBSec (2007)
Keyphrases
- access control
- term rewriting
- fine grained
- data security
- security policies
- dynamic access control
- role based access control
- theorem prover
- theorem proving
- security requirements
- access control models
- role based access control model
- access control policies
- database security
- operational semantics
- access control mechanism
- access control systems
- security mechanisms
- rbac model
- security model
- anomaly detection
- identity management
- database management systems
- databases