Formal analysis of XACML policies using SMT.

Fatih Turkmen Jerry den Hartog Silvio Ranise Nicola Zannone

Published in: Comput. Secur. (2017)

Keyphrases

formal analysis
role based access control
access control policies
access control
multi domain
markup language
optimal policy
conflict resolution
formal methods
statistical machine translation
ban logic
fine grained
database
agent model
distributed environment