Model Checking Agent Knowledge in Dynamic Access Control Policies
No abstract available.
Related papers
- Decoupled Planning for Multiple Omega-Regular Objectives CAV 2026
- ATLAS: From Access conTrol Language to ACSL Specifications GPCE 2026
- Adaptive Shielding via Parametric Safety Proofs OOPSLA 2025
- A systematic approach to static access control TOPLAS 2005
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- A Formal Model and Correctness Proof for an Access Control Policy Framework CPP 2013
- Stack-based access control and secure information flow JFP 2005
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013