The Logic of XACML - Extended

Carroline Dewi Puspa Kencana Ramli Hanne Riis Nielson Flemming Nielson

Published in: CoRR (2011)

Keyphrases

access control
markup language
logic programming
role based access control
multi domain
predicate logic
modal logic
automated reasoning
multi valued
access control policies
classical logic
computational properties
derivation rules
data mining
digital circuits
distributed environment
expressive power
web services