Policy Analysis for Self-administrated Role-Based Access Control
Abstract elided by the publisher.
Related papers
- Vac - Verifier of Administrative Role-Based Access Control Policies CAV 2014
- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control TACAS 2009
- Automatically Tightening Access Control Policies with Restricter TACAS 2026
- Paralocks: role-based information flow control and beyond POPL 2010
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA 2023
- Automatically Reducing Privilege for Access Control Policies OOPSLA 2024
- Access-rights Analysis in the Presence of Subjects ECOOP 2015
- Roles, stacks, histories: A triple for Hoare JFP 2011