@inproceedings{martinelli:hal-01542438,
  TITLE = {{A Formal Support for Collaborative Data Sharing}},
  AUTHOR = {Martinelli, Fabio and Matteucci, Ilaria and Petrocchi, Marinella and Wiegand, Luca},
  URL = {https://inria.hal.science/hal-01542438},
  NOTE = {Part 2: Workshop},
  BOOKTITLE = {{International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES)}},
  ADDRESS = {Prague, Czech Republic},
  EDITOR = {Gerald Quirchmayr and Josef Basl and Ilsun You and Lida Xu and Edgar Weippl},
  PUBLISHER = {{Springer}},
  SERIES = {Multidisciplinary Research and Practice for Information                    Systems},
  VOLUME = {LNCS-7465},
  PAGES = {547-561},
  YEAR = {2012},
  MONTH = Aug,
  DOI = {10.1007/978-3-642-32498-7\_42},
  PDF = {https://inria.hal.science/hal-01542438/file/978-3-642-32498-7_42_Chapter.pdf},
  HAL_ID = {hal-01542438},
  HAL_VERSION = {v1},
}