Verification and enforcement of access control policies.
Antonio CauHelge JanickeBen C. MoszkowskiPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- access control policies
- access control
- conflict resolution
- distributed environment
- security policies
- access control systems
- extended logic programs
- fine grained
- security mechanisms
- model checking
- loosely coupled
- role based access control
- lightweight
- trust negotiation
- information flow
- virtual enterprise
- social networks
- artificial intelligence