TY - RPRT TI - Very Static Enforcement of Dynamic Policies AU - Bart van Delft AU - Sebastian Hunt AU - David Sands PY - 2015 UR - https://arxiv.org/abs/1501.02633 ID - 1501.02633 ER -