Programming with Explicit Security Policies
No abstract available.
Related papers
- Secure the Clones - Static Enforcement of Policies for Secure Object Copying ESOP 2011
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Automatic enforcement of expressive security policies using enclaves OOPSLA 2016
- Runtime Enforcement of Security Policies on Black Box Reactive Programs POPL 2015
- A Type System for Expressive Security Policies POPL 2000
- Composing security policies with polymer PLDI 2005
- Verifying policy-based web services security TOPLAS 2008
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022