Login / Signup

Hard Instances for Verification Problems in Access Control.

Nima MousaviMahesh V. Tripunitara
Published in: SACMAT (2015)
Keyphrases
  • access control
  • fine grained
  • data security
  • security policies
  • access control policies
  • security model
  • role based access control
  • high assurance
  • dynamic access control
  • security mechanisms
  • rbac model