Infrastructural Support for Enforcing and Managing Distributed Application-Level Policies