Login / Signup
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving.
Alessandro Armando
Silvio Ranise
Published in:
J. Comput. Secur. (2012)
Keyphrases
</>
access control policies
access control
information systems
low cost
fine grained
conflict resolution
social networks
management system
sensor networks
e government
logic programming
incomplete information
loosely coupled