Login / Signup
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3.
Diego de Azevedo Oliveira
Marc 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