Towards a Unified Model of Accountability Infrastructures

  title={Towards a Unified Model of Accountability Infrastructures},
  author={Severin Kacianka and Florian Kelbert and Alexander Pretschner},
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… Expand
ACCBench: A Framework for Comparing Causality Algorithms
ACCBench is proposed, a benchmark tool that allows to compare and evaluate causality algorithms under a consistent setting and shows that the effectiveness of the algorithms in terms of cause detection as well as their performance differ to some extent. Expand
Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs
This paper proposes a unifying framework and an interactive platform (Actual Causality Canvas) to address the problem of operationalizing actual causality for different domains and purposes and shows that with minimal effort,actual causality reasoning can be integrated into these domains. Expand
Efficiently Checking Actual Causality with SAT Solving
This work conceptualizes an intelligent and novel algorithmic approach towards checking causality in acyclic causal models with binary variables, utilizing the optimization power in the solvers of the Boolean Satisfiability Problem (SAT). Expand
Science of design for societal-scale cyber-physical systems: challenges and opportunities
ABSTRACT Emerging industrial platforms such as the Internet of Things (IoT), Industrial Internet (II) in the US and Industrie 4.0 in Europe have tremendously accelerated the development of newExpand


A survey of accountability in computer networks and distributed systems
This paper intends to provide a comprehensive investigation of the state-of-the-art accountability research issues in current information systems and study the various accountability tactics that are available and how each one of them contributes to providing strong accountability of different aspects. Expand
Accountability: definition and relationship to verifiability
A new, widely applicable definition of accountability is proposed, revealing that accountability is closely related to verifiability, for which a new definition is proposed and it is proved that verifiable can be interpreted as a weak form of accountability. Expand
A General Trace-Based Framework of Logical Causality
This paper presents an approach to blame components based on a single execution trace violating a safety property, and relies on counterfactual reasoning to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the violation of \(P\). Expand
Accountability as a Way Forward for Privacy Protection in the Cloud
This paper proposes an approach in which procedural and technical solutions are co-designed to demonstrate accountability as a path forward to resolving jurisdictional privacy and security risks within the cloud. Expand
Managing Privacy through Accountability
This book discusses the challenges of working out Surveillance and Accountability in Theory and Practice, as well as new concepts in Data Protection Law and Human Rights Law and the Case for Accountability in Hospitals. Expand
Basic concepts and taxonomy of dependable and secure computing
The aim is to explicate a set of general concepts, of relevance across a wide range of situations and, therefore, helping communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of systems failures. Expand
Blaming in component-based real-time systems
This paper formalizes blaming using counterfactual reasoning (“what would have been the outcome if component C had behaved correctly?”) to distinguish component failures that actually contributed to the outcome from failures that had no impact on the violation of P. Expand
Causes and explanations: A structural-model approach
The automatic generation of adequate explanations, a task essential in planning, diag- nosis and natural language processing, therefore requires a formal analysis of the concept of actual cause, and a new definition of actual causes is proposed, using structural equations to model counterfac- tuals. Expand
Causes and Explanations: A Structural-Model Approach. Part II: Explanations
New definitions of (causal) explanation are proposed, using structural equations to model counterfactuals and it is shown that the definition handles well a number of problematic examples from the literature. Expand
A Modification of the Halpern-Pearl Definition of Causality
The original Halpern-Pearl definition of causality was updated in the journal version of the paper and was modified yet again to deal with some problems pointed out by Hopkins and Pearl [2003]. Expand