Keyphrases
- access control
- term rewriting
- theorem proving
- theorem prover
- fine grained
- operational semantics
- data security
- dynamic access control
- security policies
- access control policies
- access control models
- role based access control
- identity management
- database security
- access control systems
- security requirements
- security model
- database applications
- role based access control model
- expert systems
- intelligent agents
- security architecture
- rbac model
- intelligent systems
- database management systems
- multi agent