@inproceedings{30da789d772443799b93f075e9103dbc,
title = "Accountability for abstract component design",
abstract = "The importance of the services-based market, 62.9\% of the World gross domestic product (GDP) [1], triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we propose some foundations for an accountable software design. Accountability for a software is a property describing, among other aspects, its liability to end-users for the usage of the data it has been entrusted. We propose to enrich software's component design by accountability clauses using an abstract accountability language (AAL). We also define conditions for the well-formedness of an accountable component design and show how they can be checked using a model-checking tool.",
keywords = "accountability, component design, model-checking, verification",
author = "Walid Benghabrit and Herve Grall and Royer, \{Jean Claude\} and Mohamed Sellami",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014 ; Conference date: 27-08-2014 Through 29-08-2014",
year = "2014",
month = oct,
day = "17",
doi = "10.1109/SEAA.2014.68",
language = "English",
series = "Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "213--220",
editor = "Rick Rabiser and Richard Torkar and Richard Torkar",
booktitle = "Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014",
}