Login / Signup
A comprehensive approach to the automatic refinement and verification of access control policies.
Manuel Cheminod
Luca Durante
Lucia Seno
Fulvio Valenza
Adriano Valenzano
Published in:
Comput. Secur. (2019)
Keyphrases
</>
access control policies
access control
conflict resolution
access control systems
distributed environment
security policies
extended logic programs
information systems
fine grained
database
web services
digital libraries
management system
distributed systems
logic programs