Skip to Main content Skip to Navigation

The Abstract Accountability Language: its Syntax, Semantics and Tools

Abstract : Accountability is the driving principle for several of regulatory frameworks such as the European Union's General Data Protection Regulation (EU GDPR), the Health Insurance Portability and Accountability Act (HIPAA) and the Corporate and Auditing Accountability and Responsibility Act, thus influencing how organizations run their business processes. It is a central concept for enabling trust and assurance in cloud computing and future internet-based services that may emerge. Nevertheless, accountability can have different interpretations according to the level abstraction. This leads to uncertainty concerning handling and responsibility for data in computer systems with outsourcing supply-chains, as in cloud computing. When defining policies to govern organizations, we need tools to model accountability in rich contexts, including concepts like multiple agents, obligations, remediation actions and temporal aspects. The Abstract Accountability Language (AAL) is built on logical foundations allowing to describe real-world scenarios involving accountability concerns. Its semantic principles provide us means to answer whether the conditions to reach accountability in a given context are met. Moreover, we created a tool support to verify and monitor accountability policies.
Complete list of metadata

Cited literature [68 references]  Display  Hide  Download
Contributor : Jean-Claude Royer <>
Submitted on : Friday, August 10, 2018 - 4:12:04 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM
Long-term archiving on: : Sunday, November 11, 2018 - 1:37:22 PM


Files produced by the author(s)


  • HAL Id : hal-01856329, version 1


Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Anderson Santana de Oliveira. The Abstract Accountability Language: its Syntax, Semantics and Tools. [Research Report] IMT Atlantique. 2018. ⟨hal-01856329⟩



Record views


Files downloads