From Authorization Logics to Types for Authorization
No abstract available.
Related papers
- A type discipline for authorization policies TOPLAS 2007
- AURA: a programming language for authorization and audit ICFP 2008
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization OOPSLA 2024
- A Type Discipline for Authorization Policies ESOP 2005
- Security-typed programming within dependently typed programming ICFP 2010
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- A Capability-Based Module System for Authority Control ECOOP 2017
- Parallelism in Logic Programs POPL 1990