From Formal Access Control Policies to Runtime Enforcement Aspects.
Slim KallelAnis CharfiMira MeziniMohamed JmaielKarl KlosePublished in: ESSoS (2009)
Keyphrases
- access control policies
- access control
- formal language
- conflict resolution
- distributed environment
- security policies
- access control systems
- extended logic programs
- fine grained
- security mechanisms
- role based access control
- security requirements
- security issues
- trust negotiation
- database
- information flow
- database systems