{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:13:45Z","timestamp":1767651225226,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324970"},{"type":"electronic","value":"9783642324987"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32498-7_42","type":"book-chapter","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T14:04:28Z","timestamp":1344953068000},"page":"547-561","source":"Crossref","is-referenced-by-count":16,"title":["A Formal Support for Collaborative Data Sharing"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Wiegand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-28879-1_3","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"I. Matteucci","year":"2012","unstructured":"Matteucci, I., Petrocchi, M., Sbodio, M.L., Wiegand, L.: A Design Phase for Data Sharing Agreements. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol.\u00a07122, pp. 25\u201341. Springer, Heidelberg (2012)"},{"key":"42_CR2","unstructured":"Oklahoma Health Care Authority: Interagency Agreement, http:\/\/www.okhca.org\/provider\/contracts\/ffs\/pdflib\/mhcm_over21.pdf (last access April 11, 2012)"},{"key":"42_CR3","unstructured":"National Research Network: Data Sharing Agreement Template, www.researchtoolkit.org\/primer\/docs\/AAFP-NRNDUA.pdf (last access April 11, 2012)"},{"key":"42_CR4","unstructured":"National Collaborative on Workforce and Disability: Sample Inter-Agency Data Sharing Agreement, http:\/\/www.ncwd-youth.info\/assets\/guides\/assessment\/sample_forms\/data_share.pdf (last access April 11, 2012)"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Matteucci, I., Petrocchi, M., Sbodio, M.L.: CNL4DSA: a Controlled Natural Language for Data Sharing Agreements. In: SAC: Privacy on the Web Track, pp. 616\u2013620. ACM (2010)","DOI":"10.1145\/1774088.1774218"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"42_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. ENTCS, vol.\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82540-X"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Colombo, M., Martinelli, F., Matteucci, I., Petrocchi, M.: Context-aware analysis of data sharing agreements. In: Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services (2010)","DOI":"10.1109\/CENTRIC.2010.17"},{"issue":"1-2","key":"42_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"42_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"42_CR12","unstructured":"North American Electronic Reliability Corporation: Critical infrastructure protection: Security guidelines, http:\/\/www.nerc.com (last access April 19, 2012)"},{"key":"42_CR13","unstructured":"U.S. Department of Justice: Justice information sharing, http:\/\/it.ojp.gov\/default.aspx (last access April 19, 2012)"},{"key":"42_CR14","unstructured":"Natural Resources Canada: Best practices for sharing sensitive environmental geospatial data (2010), www.geoconnections.org"},{"key":"42_CR15","unstructured":"US Fire Administration: Critical infrastructure protection \u2013 information sharing and analysis center, http:\/\/www.usfa.fema.gov\/fireservice\/subjects\/emr-isac\/ (last access April 19, 2012)"},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Logic in Access Control. In: LICS, p. 228. IEEE (2003)","DOI":"10.1109\/LICS.2003.1210062"},{"key":"42_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-87603-8_15","volume-title":"Abstract State Machines, B and Z","author":"J. Bicarregui","year":"2008","unstructured":"Bicarregui, J., Arenas, A.E., Aziz, B., Massonet, P., Ponsard, C.: Towards Modelling Obligations in Event-B. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol.\u00a05238, pp. 181\u2013194. Springer, Heidelberg (2008)"},{"key":"42_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-16265-7_4","volume-title":"Integrated Formal Methods","author":"A.E. Arenas","year":"2010","unstructured":"Arenas, A.E., Aziz, B., Bicarregui, J., Wilson, M.D.: An Event-B Approach to Data Sharing Agreements. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 28\u201342. Springer, Heidelberg (2010)"},{"key":"42_CR19","doi-asserted-by":"crossref","unstructured":"Ni, Q., et al.: Privacy-aware Role-based Access Control. ACM Transactions on Information and System Security\u00a013 (2010)","DOI":"10.1145\/1805974.1805980"},{"key":"42_CR20","unstructured":"Policy Design Tool (2009), http:\/\/www.alphaworks.ibm.com\/tech\/policydesigntool"},{"key":"42_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-44618-4_5","volume-title":"CONCUR 2000 - Concurrency Theory","author":"R. Nicola De","year":"2000","unstructured":"De Nicola, R., Ferrari, G.-L., Pugliese, R.: Programming Access Control: The KLAIM Experience. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 48\u201365. Springer, Heidelberg (2000)"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"Hansen, R.R., Nielson, F., Nielson, H.R., Probst, C.W.: Static Validation of Licence Conformance Policies. In: ARES, pp. 1104\u20131111 (2008)","DOI":"10.1109\/ARES.2008.162"},{"key":"42_CR23","doi-asserted-by":"crossref","unstructured":"Scalavino, E., Gowadia, V., Lupu, E.C.: PAES: Policy-Based Authority Evaluation Scheme. In: DBSec, pp. 268\u2013282 (2009)","DOI":"10.1007\/978-3-642-03007-9_18"},{"key":"42_CR24","doi-asserted-by":"crossref","unstructured":"Scalavino, E., Russello, G., Ball, R., Gowadia, V., Lupu, E.C.: An Opportunistic Authority Evaluation Scheme for Data Security in Crisis Management Scenarios. In: ASIACCS (2010)","DOI":"10.1145\/1755688.1755709"},{"key":"42_CR25","doi-asserted-by":"crossref","unstructured":"Craven, R., et al.: Expressive Policy Analysis with Enhanced System Dynamicity. In: ASIACCS (2009)","DOI":"10.1145\/1533057.1533091"}],"container-title":["Lecture Notes in Computer Science","Multidisciplinary Research and Practice for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32498-7_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:49:33Z","timestamp":1743976173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32498-7_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324970","9783642324987"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32498-7_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}