{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:40:01Z","timestamp":1749598801733,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_34","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"413-419","source":"Crossref","is-referenced-by-count":1,"title":["On the Specification and Enforcement of Privacy-Preserving Contractual Agreements"],"prefix":"10.1007","author":[{"given":"Gerardo","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"34_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-19249-9_8","volume-title":"FM 2015: Formal Methods","author":"W Ahrendt","year":"2015","unstructured":"Ahrendt, W., Chimento, J.M., Pace, G.J., Schneider, G.: A specification language for static and runtime verification of data and control properties. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 108\u2013125. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19249-9_8"},{"issue":"10","key":"34_CR2","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1109\/TSE.2013.18","volume":"39","author":"D Basin","year":"2013","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Zalinescu, E.: Monitoring data usage in distributed systems. IEEE Trans. Soft. Eng. 39(10), 1403\u20131426 (2013)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-642-29860-8_27","volume-title":"Runtime Verification","author":"D Basin","year":"2012","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: MONPOLY: monitoring usage-control policies. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 360\u2013364. Springer, Heidelberg (2012)"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL \u2014 a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996). doi: 10.1007\/BFb0020949"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-319-23820-3_21","volume-title":"Runtime Verification","author":"JM Chimento","year":"2015","unstructured":"Chimento, J.M., Ahrendt, W., Pace, G.J., Schneider, G.: StaRVOOrS: a tool for combined static and runtime verification of java. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 297\u2013305. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23820-3_21"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25560-1_1","volume-title":"Information Systems Security","author":"A Datta","year":"2011","unstructured":"Datta, A., Blocki, J., Christin, N., DeYoung, H., Garg, D., Jia, L., Kaynar, D., Sinha, A.: Understanding and protecting privacy: formal semantics and principled audit mechanisms. In: Jajodia, S., Mazumdar, C. (eds.) ICISS 2011. LNCS, vol. 7093, pp. 1\u201327. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25560-1_1"},{"key":"34_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge, vol. 4. MIT Press, Cambridge (1995)"},{"issue":"2\u20133","key":"34_CR8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A Farrell","year":"2005","unstructured":"Farrell, A., Sergot, M., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. Int. J. Coop. Inf. Syst. 14(2\u20133), 99\u2013129 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Fong, P.W.: Relationship-based access control: protection model and policy language. In: CODASPY 2011, pp. 191\u2013202. ACM (2011)","key":"34_CR9","DOI":"10.1145\/1943513.1943539"},{"doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, E., Cambronero, E., Diaz, G., Schneider, G.: A model for visual specification of e-contracts. In: IEEE SCC 2010, pp. 1\u20138. IEEE Computer Society (2010)","key":"34_CR10","DOI":"10.1109\/SCC.2010.32"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-75596-8_8","volume-title":"Automated Technology for Verification and Analysis","author":"GJ Pace","year":"2007","unstructured":"Pace, G.J., Prisacariu, C., Schneider, G.: Model checking contracts \u2013 a case study. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 82\u201397. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75596-8_8"},{"key":"34_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-00255-7_20","volume-title":"Integrated Formal Methods","author":"GJ Pace","year":"2009","unstructured":"Pace, G.J., Schneider, G.: Challenges in the specification of full contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 292\u2013306. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00255-7_20"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-24908-2_30","volume-title":"Rule - Based Modeling and Computing on the Semantic Web","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M., Governatori, G., Rotolo, A., Tabet, S., Boley, H., Paschke, A.: LegalRuleML: XML-based rules and norms. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML 2011. LNCS, vol. 7018, pp. 298\u2013312. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24908-2_30"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-319-10431-7_30","volume-title":"Software Engineering and Formal Methods","author":"R Pardo","year":"2014","unstructured":"Pardo, R., Schneider, G.: A formal privacy policy framework for social networks. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 378\u2013392. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10431-7_30"},{"doi-asserted-by":"crossref","unstructured":"Pretschner, A., Hilty, M., Basin, D.A., Schaefer, C., Walter, T.: Mechanisms for usage control. In: ASIACCS, pp. 240\u2013244. ACM (2008)","key":"34_CR15","DOI":"10.1145\/1368310.1368344"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174\u2013189. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72952-5_11"},{"doi-asserted-by":"publisher","unstructured":"Prisacariu, C., Schneider, G.: $$\\cal{CL}$$ CL : an action-based logic for reasoning about contracts. In: Ono, H., Kanazawa, M., Queiroz, R. (eds.) WoLLIC 2009. LNCS (LNAI), vol. 5514, pp. 335\u2013349. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02261-6_27","key":"34_CR17","DOI":"10.1007\/978-3-642-02261-6_27"},{"doi-asserted-by":"crossref","unstructured":"Thion, R., M\u00e9tayer, D.L.: Flavor: a formal language for a posteriori verification of legal rules. In: POLICY 2011, pp. 1\u20138. IEEE Computer Society (2011)","key":"34_CR18","DOI":"10.1109\/POLICY.2011.26"},{"key":"34_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GHV Wright","year":"1951","unstructured":"Wright, G.H.V.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:09:31Z","timestamp":1749596971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}