Login / Signup

Dynamic Access Control Policies: Specification and Verification.

Helge JanickeAntonio CauFrançois SieweHussein Zedan
Published in: Comput. J. (2013)
Keyphrases
  • access control policies
  • conflict resolution
  • access control
  • formal language
  • access control systems
  • fine grained
  • model checking
  • security policies
  • extended logic programs