Abstract Accountability Language

  • Walid Benghabrit
  • Hervé Grall
  • Jean-Claude Royer
  • Mohamed Sellami
  • Karin Bernsmed
  • Anderson Santana De Oliveira
Conference paper

DOI: 10.1007/978-3-662-43813-8_17

Volume 430 of the book series IFIP Advances in Information and Communication Technology (IFIPAICT)
Cite this paper as:
Benghabrit W., Grall H., Royer JC., Sellami M., Bernsmed K., De Oliveira A.S. (2014) Abstract Accountability Language. In: Zhou J., Gal-Oz N., Zhang J., Gudes E. (eds) Trust Management VIII. IFIPTM 2014. IFIP Advances in Information and Communication Technology, vol 430. Springer, Berlin, Heidelberg

Abstract

Accountability becomes a necessary principle for future computer systems. This is specially critical for the cloud and Web applications that collect personal and sensitive data from end users. Accountability regards the responsibility and liability for the data handling performed by a computer system on behalf of an organization. In case of misconduct (e.g. security breaches, personal data leaks, etc.), accountability should imply remediation and redress actions. Contrary to data privacy and access control, which is already supported by several concrete languages, there is currently no language supporting accountability clauses representation. In this work, we provide an abstract language for accountability clauses representation with temporal logic semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  • Walid Benghabrit
    • 1
  • Hervé Grall
    • 1
  • Jean-Claude Royer
    • 1
  • Mohamed Sellami
    • 1
  • Karin Bernsmed
    • 2
  • Anderson Santana De Oliveira
    • 3
  1. 1.Mines NantesNantesFrance
  2. 2.SINTEF ICTTrondheimNorway
  3. 3.SAP Labs FranceMougins Sophia AntipolisFrance