@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID172410 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA7856 pubblicazioni:autoreCNRDi prodotto:ID172410 . unitaDiPersonaleInterno:MATRICOLA10096 pubblicazioni:autoreCNRDi prodotto:ID172410 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID172410 . unitaDiPersonaleInterno:MATRICOLA11430 pubblicazioni:autoreCNRDi prodotto:ID172410 . unitaDiPersonaleInterno:MATRICOLA11672 pubblicazioni:autoreCNRDi prodotto:ID172410 . @prefix rdf: . prodotto:ID172410 rdf:type prodotto:TIPO1301 . @prefix retescientifica: . prodotto:ID172410 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID172410 rdfs:label "Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID172410 pubblicazioni:anno "2010-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID172410 skos:altLabel "
Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi (2010)
Analysis of Data Sharing Agreements: Automated verification and WS implementation
in EuroCAT 2010, Nizza
"^^rdf:HTML ; pubblicazioni:autori "Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi"^^xsd:string ; pubblicazioni:note "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."^^xsd:string ; pubblicazioni: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: 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 impleme"^^xsd:string ; pubblicazioni:affiliazioni "CNR-IIT, Pisa"^^xsd:string ; pubblicazioni:titolo "Analysis of Data Sharing Agreements: Automated verification and WS implementation"^^xsd:string ; prodottidellaricerca:prodottoDi istituto:CDS044 , modulo:ID2828 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA11430 , unitaDiPersonaleInterno:MATRICOLA7856 , unitaDiPersonaleInterno:MATRICOLA11672 , unitaDiPersonaleInterno:MATRICOLA10096 .