On the Use of SMT Solving for XACML Policy Evaluation | IEEE Conference Publication | IEEE Xplore