{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T04:23:40Z","timestamp":1742703820365,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288784"},{"type":"electronic","value":"9783642288791"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28879-1_3","type":"book-chapter","created":{"date-parts":[[2012,3,12]],"date-time":"2012-03-12T10:00:09Z","timestamp":1331546409000},"page":"25-41","source":"Crossref","is-referenced-by-count":17,"title":["A Design Phase for Data Sharing Agreements"],"prefix":"10.1007","author":[{"given":"Ilaria","family":"Matteucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco Luca","family":"Sbodio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Wiegand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"The Consequence Team: D2.1: Methodologies and Tools for Data Sharing Agreements Infrastructure (2008), http:\/\/www.consequence-project.eu\/Deliverables_Y1\/D2.1.pdf"},{"key":"3_CR2","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. ACM (2010)","DOI":"10.1145\/1774088.1774218"},{"key":"3_CR3","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":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/978-3-540-71999-1_23","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., Bevilacqua, V., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350, pp. 737\u2013749. Springer, Heidelberg (2007)"},{"key":"3_CR5","unstructured":"The Consequence Team: D6.4: Final Evaluation of the Sensitive Data Test Bed (2011), http:\/\/www.consequence-project.eu\/Deliverables_Y3\/D6.4.pdf"},{"key":"3_CR6","unstructured":"The Consequence Team: D5.4: Final Evaluation of the Policy-Based Security for Crisis Management Test Bed (2011), http:\/\/www.consequence-project.eu\/Deliverables_Y3\/D5.4.pdf"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Brodie, C., et al.: The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. In: POLICY, pp. 247\u2013249 (2008)","DOI":"10.1109\/POLICY.2008.25"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11961635_2","volume-title":"Information Systems Security","author":"V. Swarup","year":"2006","unstructured":"Swarup, V., Seligman, L., Rosenthal, A.: A Data Sharing Agreement Framework. In: Bagchi, A., Atluri, V. (eds.) ICISS 2006. LNCS, vol.\u00a04332, pp. 22\u201336. Springer, Heidelberg (2006)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Swarup, V., et al.: Specifying Data Sharing Agreements. In: POLICY, pp. 157\u2013162 (2006)","DOI":"10.1109\/POLICY.2006.34"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Brodie, C., et al.: An Empirical Study of Natural Language Parsing of Privacy Policy Rules using the SPARCLE Policy Workbench. In: SOUPS, pp. 8\u201319. ACM (2006)","DOI":"10.1145\/1143120.1143123"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S.: A Model of Triangulating Environments for Policy Authoring. In: SACMAT, pp. 3\u201312. ACM (2010)","DOI":"10.1145\/1809842.1809847"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Mousas, A.S., et al.: Visualising Access Control: The PRISM Approach. In: Panhellenic Conference on Informatics (2010)","DOI":"10.1109\/PCI.2010.52"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Logic in Access Control. In: LICS, p. 228. IEEE (2003)","DOI":"10.1109\/LICS.2003.1210062"},{"key":"3_CR14","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., 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":"3_CR15","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. Arenas","year":"2010","unstructured":"Arenas, A., 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":"3_CR16","doi-asserted-by":"crossref","unstructured":"Craven, R., et al.: Expressive Policy Analysis with Enhanced System Dynamicity. In: ASIACCS (2009)","DOI":"10.1145\/1533057.1533091"},{"key":"3_CR17","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":"3_CR18","unstructured":"Policy Design Tool (2009), http:\/\/www.alphaworks.ibm.com\/tech\/policydesigntool"},{"key":"3_CR19","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":"3_CR20","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"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneus Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28879-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T23:51:34Z","timestamp":1742687494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28879-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288784","9783642288791"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28879-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}