%0 Conference Proceedings %T A Formal Support for Collaborative Data Sharing %+ Consiglio Nazionale delle Ricerche [Milano] (CNR) %A Martinelli, Fabio %A Matteucci, Ilaria %A Petrocchi, Marinella %A Wiegand, Luca %Z Part 2: Workshop %< avec comité de lecture %( Lecture Notes in Computer Science %B International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES) %C Prague, Czech Republic %Y Gerald Quirchmayr %Y Josef Basl %Y Ilsun You %Y Lida Xu %Y Edgar Weippl %I Springer %3 Multidisciplinary Research and Practice for Information Systems %V LNCS-7465 %P 547-561 %8 2012-08-20 %D 2012 %R 10.1007/978-3-642-32498-7_42 %Z Computer Science [cs]Conference papers %X Collaborating entities usually require the exchange of personal information for the achievement of a common goal, including enabling business transactions and the provisioning of critical services. A key issue affecting these interactions is the lack of control on how data is going to be used and processed by the entities that share it. To partially solve the issue, parties may have defined a set of data sharing policies regulating the exchange of data they own, or over which they have jurisdiction. However, distinct set of policies, defined by different authorities, may lead to conflicts once enacted, since, e.g., different subjects may have defined different permissions on the same data set. This paper focuses on policy analysis and offers a formal support for coming up with a conflict-free set of data sharing policies. We illustrate the methodology on the example of an emergency management. %G English %Z TC 5 %Z TC 8 %Z WG 8.4 %Z WG 8.9 %2 https://inria.hal.science/hal-01542438/document %2 https://inria.hal.science/hal-01542438/file/978-3-642-32498-7_42_Chapter.pdf %L hal-01542438 %U https://inria.hal.science/hal-01542438 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-TC5 %~ IFIP-WG %~ IFIP-TC8 %~ IFIP-CD-ARES %~ IFIP-WG8-4 %~ IFIP-WG8-9 %~ IFIP-LNCS-7465