A Logic for State-Modifying Authorization Policies.

Moritz Y. Becker, Sebastian Nanz

Browse the full ESORICS paper archive.