%0 Conference Proceedings %T Abstract Accountability Language %+ Mines Nantes (Mines Nantes) %+ Information and Communication Technology [Oslo] (SINTEF - ICT) %+ SAP Labs France %A Benghabrit, Walid %A Grall, Hervé %A Royer, Jean-Claude %A Sellami, Mohamed %A Bernsmed, Karin %A Oliveira, Anderson, De %Z Part 3: Short Papers %< avec comité de lecture %( IFIP Advances in Information and Communication Technology %B 8th IFIP International Conference on Trust Management (IFIPTM) %C Singapore, Singapore %Y Jianying Zhou %Y Nurit Gal-Oz %Y Jie Zhang %Y Ehud Gudes %I Springer %3 Trust Management VIII %V AICT-430 %P 229-236 %8 2014-07-07 %D 2014 %R 10.1007/978-3-662-43813-8_17 %Z Computer Science [cs]Conference papers %X 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. %G English %Z TC 11 %Z WG 11.11 %2 https://inria.hal.science/hal-01381692/document %2 https://inria.hal.science/hal-01381692/file/978-3-662-43813-8_17_Chapter.pdf %L hal-01381692 %U https://inria.hal.science/hal-01381692 %~ MINES-NANTES %~ INFO %~ IFIP %~ IFIP-AICT %~ IFIP-TC %~ IFIP-AICT-430 %~ IFIP-TC11 %~ IFIP-TM %~ IFIP-WG11-11 %~ IMTA_DAPI %~ IMT-ATLANTIQUE %~ TSP-DISSEM %~ TSP-DIEGO