{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T19:38:57Z","timestamp":1786563537920,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319933535","type":"print"},{"value":"9783319933542","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93354-2_8","type":"book-chapter","created":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T14:14:37Z","timestamp":1528467277000},"page":"148-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Efficient Detection of Conflicts in Data Sharing Agreements"],"prefix":"10.1007","author":[{"given":"Gianpiero","family":"Costantino","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,9]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lupu, E.C., Lobo, J. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18\u201338. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-44569-2_2"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s10207-014-0258-5","volume":"14","author":"M Casassa Mont","year":"2015","unstructured":"Casassa Mont, M., Matteucci, I., Petrocchi, M., Sbodio, M.L.: Towards safer information sharing in the cloud. Int. J. Inf. Sec. 14, 319\u2013334 (2015)","journal-title":"Int. J. Inf. Sec."},{"key":"8_CR3","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access control. In: NIST-NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/984334.984339","volume":"7","author":"J Park","year":"2004","unstructured":"Park, J., Sandhu, R.: The UCON-ABC usage control model. ACM Trans. Inf. Syst. Secur. 7, 128\u2013174 (2004)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Matteucci, I., Petrocchi, M., Sbodio, M.L.: CNL4DSA: a controlled natural language for data sharing agreements. In: Symposium on Applied Computing, pp. 616\u2013620 (2010)","DOI":"10.1145\/1774088.1774218"},{"key":"8_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":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","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. 4350. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.cose.2010.09.001","volume":"30","author":"J Jin","year":"2011","unstructured":"Jin, J., Ahn, G.J., Hu, H., Covington, M.J., Zhang, X.: Patient-centric authorization framework for electronic healthcare services. Comput. Secur. 30, 116\u2013127 (2011)","journal-title":"Comput. Secur."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-44760-5_1","volume-title":"Privacy Technologies and Policy","author":"JF Ruiz","year":"2016","unstructured":"Ruiz, J.F., Petrocchi, M., Matteucci, I., Costantino, G., Gambardella, C., Manea, M., Ozdeniz, A.: A lifecycle for data sharing agreements: how it works out. In: Schiffner, S., Serna, J., Ikonomou, D., Rannenberg, K. (eds.) APF 2016. LNCS, vol. 9857, pp. 3\u201320. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-44760-5_1"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-319-31456-3_10","volume-title":"Privacy Technologies and Policy","author":"C Caimi","year":"2016","unstructured":"Caimi, C., Gambardella, C., Manea, M., Petrocchi, M., Stella, D.: Legal and technical perspectives in data sharing agreements definition. In: Berendt, B., Engel, T., Ikonomou, D., Le M\u00e9tayer, D., Schiffner, S. (eds.) APF 2015. LNCS, vol. 9484, pp. 178\u2013192. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31456-3_10"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Costantino, G., Martinelli, F., Matteucci, I., Petrocchi, M.: Analysis of data sharing agreements. In: Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, 19\u201321 February 2017, pp. 167\u2013178 (2017)","DOI":"10.5220\/0006207501670178"},{"key":"8_CR12","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\/SETOP -2011. LNCS, vol. 7122, pp. 25\u201341. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-28879-1_3"},{"key":"8_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-53959-6_15","volume-title":"Frontiers in Internet Technologies","author":"X Liang","year":"2013","unstructured":"Liang, X., Lv, L., Xia, C., Luo, Y., Li, Y.: A conflict-related rules detection tool for access control policy. In: Su, J., Zhao, B., Sun, Z., Wang, X., Wang, F., Xu, K. (eds.) Frontiers in Internet Technologies. CCIS, vol. 401, pp. 158\u2013169. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-53959-6_15"},{"key":"8_CR14","unstructured":"OASIS: eXtensible Access Control Markup Language (XACML) Version 3.0 (2010)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1151030.1151053","volume":"49","author":"A Pretschner","year":"2006","unstructured":"Pretschner, A., Hilty, M., Basin, D.: Distributed usage control. Commun. ACM 49, 39\u201344 (2006)","journal-title":"Commun. ACM"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-11851-2_7","volume-title":"Security and Trust Management","author":"A Lazouski","year":"2014","unstructured":"Lazouski, A., Martinelli, F., Mori, P., Saracino, A.: Stateful usage control for android mobile devices. In: Mauw, S., Jensen, C.D. (eds.) STM 2014. LNCS, vol. 8743, pp. 97\u2013112. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11851-2_7"},{"key":"8_CR17","unstructured":"Gambardella, C., Matteucci, I., Petrocchi, M.: Data sharing agreements: how to glue definition, analysis and mapping together. ERCIM News 2016 (2016)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Matteucci, I., Mori, P., Petrocchi, M., Wiegand, L.: Controlled data sharing in E-health. In: Socio-Technical Aspects in Security and Trust, pp. 17\u201323 (2011)","DOI":"10.1109\/STAST.2011.6059251"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-642-32498-7_42","volume-title":"Multidisciplinary Research and Practice for Information Systems","author":"F Martinelli","year":"2012","unstructured":"Martinelli, F., Matteucci, I., Petrocchi, M., Wiegand, L.: A formal support for collaborative data sharing. In: Quirchmayr, G., Basl, J., You, I., Xu, L., Weippl, E. (eds.) CD-ARES 2012. LNCS, vol. 7465, pp. 547\u2013561. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-32498-7_42"},{"key":"8_CR20","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":"AE 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. 6396, pp. 28\u201342. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16265-7_4"},{"key":"8_CR21","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. 5238, pp. 181\u2013194. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-87603-8_15"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/TDSC.2010.43","volume":"8","author":"H Huang","year":"2011","unstructured":"Huang, H., Kirchner, H.: Formal specification and verification of modular security policy based on colored Petri nets. IEEE Trans. Dependable Secur. Comput. 8, 852\u2013865 (2011)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Lunardelli, A., Matteucci, I., Mori, P., Petrocchi, M.: A prototype for solving conflicts in XACML-based e-Health policies. In: 26th IEEE Symposium on Computer-Based Medical Systems, pp. 449\u2013452 (2013)","DOI":"10.1109\/CBMS.2013.6627838"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-35890-6_10","volume-title":"Data Privacy Management and Autonomous Spontaneous Security","author":"I Matteucci","year":"2013","unstructured":"Matteucci, I., Mori, P., Petrocchi, M.: Prioritized execution of privacy policies. In: Di Pietro, R., Herranz, J., Damiani, E., State, R. (eds.) DPM\/SETOP -2012. LNCS, vol. 7731, pp. 133\u2013145. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-35890-6_10"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0377-2217(90)90057-I","volume":"48","author":"TL Saaty","year":"1990","unstructured":"Saaty, T.L.: How to make a decision: the analytic hierarchy process. Eur. J. Oper. Res. 48, 9\u201326 (1990)","journal-title":"Eur. J. Oper. Res."}],"container-title":["Communications in Computer and Information Science","Information Systems Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93354-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T14:21:37Z","timestamp":1528467697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93354-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319933535","9783319933542"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93354-2_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}