Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
No abstract available.
Related papers
- Liquid information flow control ICFP 2020
- Runtime Enforcement of Security Policies on Black Box Reactive Programs POPL 2015
- Computability classes for enforcement mechanisms TOPLAS 2006
- Secure serverless computing using dynamic information flow control OOPSLA 2018
- Mechanisms for Compile-Time Enforcement of Security POPL 1983
- LWeb: information flow security for multi-tier web applications POPL 2019
- Automatic enforcement of expressive security policies using enclaves OOPSLA 2016
- Automatic Design of Data Processing Systems POPL 1976