Runtime support for rule-based access-control evaluation through model-transformation
No abstract available.
Related papers
- Sound Modular Verification of C Code Executing in an Unverified Context POPL 2015
- Parallel Programming in a Virtual Object Space OOPSLA 1987
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Refining semantics for multi-stage programming GPCE 2017
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Trace-based affine reconstruction of codes CGO 2016
- Flow-Sensitive Type-Based Heap Cloning ECOOP 2020
- Demystifying model transformations: an approach based on automated rule inference OOPSLA 2009