1. Analysis of XACML policies with ASP
2. John Backes , Pauline Bolignano , Byron Cook , Catherine Dodge , Andrew Gacek , Kasper Luckow , Neha Rungta , Oksana Tkachuk , and Carsten Varming . 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD) . IEEE , 1--9. John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Luckow, Neha Rungta, Oksana Tkachuk, and Carsten Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 1--9.
3. Session-dependent Usage Control for Big Data;Baldi Gabriele;Journal of Internet Services and Information Security,2020
4. Usage Control on Cloud systems
5. Haining Chen . 2017. Improving the Policy Specification for Practical Access Control Systems. Ph.,D. Dissertation . Purdue University . Haining Chen. 2017. Improving the Policy Specification for Practical Access Control Systems. Ph.,D. Dissertation. Purdue University.