(2015) PriCL: Creating a Precedent. A Framework for Reasoning about Privacy Case Law.
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.
| Item Type: | Conference or Workshop Item (A Paper) (Paper) |
|---|---|
| Additional Information: | pub_id: 762 Bibtex: BaBeHoMa_15:Pricl URL date: None |
| Uncontrolled Keywords: | Case Law,Decision,Logic,privacy,Privacy Law,Reasoning Framework |
| Divisions: | Michael Backes (InfSec) |
| Depositing User: | Sebastian Weisgerber |
| Date Deposited: | 26 Jul 2017 10:31 |
| Last Modified: | 18 Jul 2019 12:08 |
| Primary Research Area: | NRA1: Trustworthy Information Processing |
| URI: | https://publications.cispa.saarland/id/eprint/737 |
Actions
Actions (login required)
 |
View Item |