Abstract Accountability Language: Translation, Compliance and Application

International audienceWith the rise of the services-based economy andthe democratization of on-line services, more and more users(individual and/or business) use on-line applications in their dailylives. Usually personal data transits between different actorsinvolved in a service’s delivery chain (e.g. application/storageservice providers) and thus might raise some privacy issues.Accountability, which is the property of an entity of beingresponsible for its acts, can help mitigate data privacy anddata disclosures issues in such applications. In this paper, wepropose a translational semantics for our accountability languageand we present some expected properties. We introduce anatural criterion to achieve the accountability compliance oftwo clauses and few heuristics to speed up the resolution time.We demonstrate the feasibility of our verification process with arealistic health care use case and the TSPASS theorem prover