Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong: Declarative Policies for Capability Control. CSF 2014: 3-17