Login / Signup

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3.

Diego de Azevedo OliveiraMarc Frappier
Published in: ABZ (2020)
Keyphrases
  • access control policies
  • access control
  • conflict resolution
  • access control systems
  • fine grained
  • security policies
  • database
  • databases
  • digital libraries
  • embedded systems