Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno)

Type
Label
  • Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi (2010)
    Analysis of Data Sharing Agreements: Automated verification and WS implementation
    in EuroCAT 2010, Nizza
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#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. (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: 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 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IIT, Pisa (literal)
Titolo
  • Analysis of Data Sharing Agreements: Automated verification and WS implementation (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it