Istituto di Informatica e Telematica     
Petrocchi M., Matteucci I., Colombo M., Martinelli F. Analysis of Data Sharing Agreements: Automated verification and WS implementation. In: EuroCAT 2010 - European Context Awareness & Trust 2010.4th Workshop on Combining Context with Trust, Security, and Privacy (Nice, France, 23-24 August 2010). Proceedings, IEEE, 2010.
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. DSA are usually sub- ject to a lifecycle consisting (at least) of the following phases: definition, enforcement, and disposal. In particular, during the definition phase, the parties negotiate the respective authorizations on data covered by the agreement. This phase may be iterative: authoring of the DSA is fol- lowed by analysis of its content in order to identify possible conflicts or incompatibilities among authorizations clauses, before enforce them. In this paper, we concentrate on DSA formal verification by proposing a for- mal framework for the automated analysis of DSA. The proposed mech- anism is built on a process algebra formalism dealing with contextual data, encoded into the executable specification language Maude, based on Rewriting Logic. The effectiveness of the analysis is shown through a sensitive data sharing test bed. Furthermore, we present an implementa- tion of the analyser exposed as a Web Service built on top of Maude. The Web Service technology allows the modularity of the whole architecture with respect to the particular tool considered for the analysis

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional