Vac - Verifier of Administrative Role-Based Access Control Policies
Abstract elided by the publisher.
Related papers
- Policy Analysis for Self-administrated Role-Based Access Control TACAS 2013
- Paralocks: role-based information flow control and beyond POPL 2010
- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control TACAS 2009
- Automatically Tightening Access Control Policies with Restricter TACAS 2026
- 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