Skip to Main content Skip to Navigation
Theses

A FORMAL MODEL FOR ACCOUNTABILITY

Abstract : Nowadays we are witnessing the democratization of cloud services. As a result, more and more end-users (individuals and businesses) are using these services in their daily life. In such scenarios, personal data is generally flowed between several entities. End-users need to be aware of the management, processing, storage and retention of personal data, and to have necessary means to hold service providers accountable for the use of their data. In this thesis we present an accountability framework called Accountability Laboratory (AccLab) that allows to consider accountability from design time to implementation time of a system. In order to reconcile the legal world and the computer science world, we developed a language called Abstract Accountability Language (AAL) that allows to write obligations and accountability policies. This language is based on a formal logic called First Order Linear Temporal Logic (FOTL) which allows to check the coherence of the accountability policies and the compliance between two policies. These policies are translated into a temporal logic called FO-DTL3, which is associated with a monitoring technique based on formula rewriting. Finally, we developed a monitoring tool called Accountability Monitoring (AccMon) which provides means to monitor accountability policies in the context of a real system. These policies are based on FO-DTL3 logic and the framework can act in both centralized or distributed modes and can run in on-line and off-line modes.
Complete list of metadata

Cited literature [74 references]  Display  Hide  Download

https://hal.inria.fr/tel-01659996
Contributor : Walid Benghabrit <>
Submitted on : Saturday, December 9, 2017 - 5:17:03 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:36 PM

File

ThesisWalidBenghabritDiffusion...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01659996, version 1

Collections

Citation

Walid Benghabrit. A FORMAL MODEL FOR ACCOUNTABILITY. Software Engineering [cs.SE]. IMT Atlantique, 2017. English. ⟨tel-01659996⟩

Share

Metrics

Record views

141

Files downloads

322