Abstract Accountability Language: Translation, Compliance and Application - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Abstract Accountability Language: Translation, Compliance and Application

Résumé

With the rise of the services-based economy and the democratization of on-line services, more and more users (individual and/or business) use on-line applications in their daily lives. Usually personal data transits between different actors involved in a service’s delivery chain (e.g. application/storage service providers) and thus might raise some privacy issues. Accountability, which is the property of an entity of being responsible for its acts, can help mitigate data privacy and data disclosures issues in such applications. In this paper, we propose a translational semantics for our accountability language and we present some expected properties. We introduce a natural criterion to achieve the accountability compliance of two clauses and few heuristics to speed up the resolution time. We demonstrate the feasibility of our verification process with a realistic health care use case and the TSPASS theorem prover.
Fichier non déposé

Dates et versions

hal-01214365 , version 1 (12-10-2015)

Identifiants

  • HAL Id : hal-01214365 , version 1

Citer

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India. ⟨hal-01214365⟩
375 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More