Checking Accountability with a Prover - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Checking Accountability with a Prover

Résumé

Today on-line services are the cornerstone of online applications such as e-commerce, e-government and e-health applications. However, they raise several challenges about data privacy. Accountability, which is the property of an entity of being responsible for its acts, meets some of these challenges and hence increases user’s trustworthiness in on-line applications. In this work, we propose an approach to assist the design of accountable applications. In particular, we consider an application’s abstract component design and we introduce a logical approach allowing various static verifications. This approach offers effective means to early check the design and the behavior of an application and its offered/required services. We motivate our work with a realistic use case coming from the A4Cloud project and validate our proposal with experiments using a theorem prover
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Checking Accountability with a Prover. 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩. ⟨hal-01214360⟩
222 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More