A Type Discipline for Authorization Policies
No abstract available.
Related papers
- A type discipline for authorization policies TOPLAS 2007
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization OOPSLA 2024
- Enforcing Stateful Authorization and Information Flow Policies in Fine ESOP 2010
- AURA: a programming language for authorization and audit ICFP 2008
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Security-typed programming within dependently typed programming ICFP 2010
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Run-time principals in information-flow type systems TOPLAS 2007