A Formal Model and Correctness Proof for an Access Control Policy Framework
No abstract available.
DOI 10.1007/978-3-319-03545-1_19
Related papers
- A verified algorithm for detecting conflicts in XACML access control rules CPP 2016
- ATLAS: From Access conTrol Language to ACSL Specifications GPCE 2026
- Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning CAV 2026
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA 2023
- Model Checking Agent Knowledge in Dynamic Access Control Policies TACAS 2013
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- CertRL: formalizing convergence proofs for value and policy iteration in Coq CPP 2021
- Stratified Abstraction of Access Control Policies CAV 2020