Towards a Unified Model of Accountability Infrastructures

Severin Kacianka
(Technische Universität München)
Florian Kelbert
(Technische Universität München)
Alexander Pretschner
(Technische Universität München)

Accountability aims to provide explanations for why unwanted situations occurred, thus providing means to assign responsibility and liability. As such, accountability has slightly different meanings across the sciences. In computer science, our focus is on providing explanations for technical systems, in particular if they interact with their physical environment using sensors and actuators and may do serious harm. Accountability is relevant when considering safety, security and privacy properties and we realize that all these incarnations are facets of the same core idea. Hence, in this paper we motivate and propose a model for accountability infrastructures that is expressive enough to capture all of these domains. At its core, this model leverages formal causality models from the literature in order to provide a solid reasoning framework. We show how this model can be instantiated for several real-world use cases.

In Gregor Gössler and Oleg Sokolsky: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2016), Eindhoven, The Netherlands, 8th April 2016, Electronic Proceedings in Theoretical Computer Science 224, pp. 40–54.
Published: 26th August 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.224.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org