On the Use of SMT Solving for XACML Policy Evaluation.

Fatih Turkmen, Yuri Demchenko

Browse the full CloudCom paper archive.