On the Use of SMT Solving for XACML Policy Evaluation.

Fatih Turkmen Yuri Demchenko

Published in: CloudCom (2016)

Keyphrases

policy evaluation
access control
reinforcement learning
least squares
monte carlo
temporal difference
model free
markov decision processes
policy iteration
variance reduction
machine learning
optimal solution
lower bound
function approximation