Login / Signup
A Knowledge-Based Verification Method for Dynamic Access Control Policies.
Masoud Koleini
Mark Ryan
Published in:
ICFEM (2011)
Keyphrases
</>
verification method
access control policies
access control
conflict resolution
model checking
temporal logic
security policies
access control systems
data warehouse
security mechanisms
extended logic programs