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