Aspect-based enforcement of formal delegation policies.
Slim KallelAnis CharfiMira MeziniMohamed JmaielPublished in: CRiSIS (2008)
Keyphrases
- access control policies
- access control
- role based access control
- formal language
- conflict resolution
- privacy policies
- access control systems
- security policies
- distributed environment
- fine grained
- formal model
- distributed systems
- data security
- optimal policy
- knowledge base
- information retrieval
- real time
- network security
- cooperative
- web services
- formal methods
- markov decision process
- information systems
- databases
- management policies
- data sets