Analysis of XACML Policies with SMT.

Fatih Turkmen Jerry den Hartog Silvio Ranise Nicola Zannone

Published in: POST (2015)

Keyphrases

access control
quantitative analysis
learning algorithm
information systems
decision trees
multiscale
statistical analysis