Capabilities for Java: Secure Access to Resources
Abstract elided by the publisher.
Related papers
- Information flow vs. resource access in the asynchronous pi-calculus TOPLAS 2002
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- A Capability-Based Module System for Authority Control ECOOP 2017
- Security Reasoning via Substructural Dependency Tracking POPL 2026
- Stratified Abstraction of Access Control Policies CAV 2020
- Portable Resource Control in Java: The J-SEAL2 Approach OOPSLA 2001
- Access rights analysis for Java OOPSLA 2002
- Tradeoffs in retrofitting security: an experience report DLS 2007