PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law

Backes, Michael and Bendun, Fabian and Hoffmann, Jörg and Marnau, Ninja
(2015) PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law.
In: Proceedings of the 4th Conference on Principles of Security and Trust (POST).
Conference: None | Not Set

Full text not available from this repository.

Abstract

We introduce PriCL: the first framework for expressing and au- tomatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the no- tion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing legal permissions or extracting norms. For solving these tasks, we provide generic algorithms that have particularly efficient realizations within an expressive underlying logic. Finally, we derive a definition of de- ducibility based on legal concepts and subsequently propose an equivalent characterization in terms of logic satisfiability.

Actions

Actions (login required)

View Item View Item