RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
No abstract available.
Related papers
- Policy Analysis for Self-administrated Role-Based Access Control TACAS 2013
- Vac - Verifier of Administrative Role-Based Access Control Policies CAV 2014
- Automatically Reducing Privilege for Access Control Policies OOPSLA 2024
- Paralocks: role-based information flow control and beyond POPL 2010
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA 2023
- Roles, stacks, histories: A triple for Hoare JFP 2011
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization OOPSLA 2024
- Access-rights Analysis in the Presence of Subjects ECOOP 2015