POSTER: Analyzing Access Control Policies with SMT.

Fatih Turkmen Jerry den Hartog Nicola Zannone

Published in: CCS (2014)

Keyphrases

access control policies
access control
conflict resolution
access control systems
security policies
distributed environment
trust negotiation
extended logic programs
management system
information systems
low cost
distributed systems
fine grained
statistical machine translation
automated trust negotiation