Sign in
The Logic of XACML.
Carroline Dewi Puspa Kencana Ramli
Hanne Riis Nielson
Flemming Nielson
Published in:
FACS (2011)
Keyphrases
</>
access control
markup language
multi domain
automated reasoning
logic programming
classical logic
modal logic
predicate logic
data sets
machine learning
multi valued
logical framework
computational properties
sound and complete axiomatization