A Logic Based Approach for Dynamic Access Control.

Vino Fernando Crescini Yan Zhang

Published in: Australian Conference on Artificial Intelligence (2004)

Keyphrases

dynamic access control
access control
logic programming
multi valued
automated reasoning
computational properties
epistemic logic
data sets
bayesian networks
nonmonotonic reasoning
classical logic
probability theory
logical framework
logic synthesis
linear temporal logic
sound and complete axiomatization