Enforcing Expressive Accountability Policies
Résumé
Accountability policies for the enforcement of the responsible stewardship of personal data have to support the gathering of information at all levels of the service stack and across different policy domains, for instance, for the retrospective enforcement of transparency and remediation properties. Existing approaches to accountability, however, often do not meet these requirements and corresponding implementation support is generally lacking. In this paper we show how expressive policies can be defined in terms of properties that change across boundaries of policy domains, include access to data at different levels of the service stack, and support preventive and retrospective mechanisms for different accountability properties, notably transparency and remediability. Furthermore, we present a notion of accountability schemes that support the constructive implementation of accountability policies. Finally, we motivate and apply our approach in the context of real-world attacks to OAuth-based authorization and authentication schemes.