Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper)

Type

• Prodotto della ricerca (Classe)
• Rapporti tecnici/preprint/working paper (Classe)

Label

• Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (literal)

Anno

• 2010-01-01T00:00:00+01:00 (literal)

Alternative label

• Colombo M.; Martinelli F.; Matteucci I.; Petrocchi M. (2010)
  Analysis of Data Sharing Agreements with Automated veri cation and WS implementation
  
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Colombo M.; Martinelli F.; Matteucci I.; Petrocchi M. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• Technical report, 2010. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• ABSTRACT: 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: de?nition, enforcement, and disposal. In particular, during the de?nition 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 con icts or incompatibilities among authorizations clauses, before enforce them. In this paper, we concentrate on DSA formal veri?cation 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 speci?cation language Maude, based on Rewriting Logic. The e?ectiveness of the analysis is shown through a sensitive data sharing test bed. Furthermore, we present an implementatio (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto

• Altro (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-IIT, Pisa (literal)

Titolo

• Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (literal)

Prodotto di

• Trusted and mobile systems (INT.P01.007.004) (Modulo)
• Istituto di informatica e telematica (IIT) (Istituto)

Autore CNR

• ILARIA MATTEUCCI (Persona)
• FABIO MARTINELLI (Unità di personale interno)
• MARINELLA PETROCCHI (Persona)
• MAURIZIO COLOMBO (Unità di personale interno)

Insieme di parole chiave

• Keywords of "Analysis of Data Sharing Agreements with Automated veri cation and WS implementation" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)

Autore CNR di

• FABIO MARTINELLI (Unità di personale interno)
• MARINELLA PETROCCHI (Persona)
• ILARIA MATTEUCCI (Persona)
• MAURIZIO COLOMBO (Unità di personale interno)

Insieme di parole chiave di

• Keywords of "Analysis of Data Sharing Agreements with Automated veri cation and WS implementation" (Insieme di parole chiave)