{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:34:43Z","timestamp":1743039283255,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030916305"},{"type":"electronic","value":"9783030916312"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91631-2_16","type":"book-chapter","created":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T21:02:24Z","timestamp":1637269344000},"page":"293-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Three Branches of Accountability"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"M\u00f6dersheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Cuellar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,19]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1057\/9781137032225_4","volume-title":"Managing Privacy through Accountability","author":"J Alhadeff","year":"2012","unstructured":"Alhadeff, J., Van Alsenoy, B., Dumortier, J.: The accountability principle in data protection regulation: origin, development and future directions. In: Guagnin, D., Hempel, L., Ilten, C., Kroener, I., Neyland, D., Postigo, H. (eds.) Managing Privacy through Accountability, pp. 49\u201382. Palgrave Macmillan UK, London (2012). https:\/\/doi.org\/10.1057\/9781137032225_4"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-11164-3_4","volume-title":"Runtime Verification","author":"D Basin","year":"2014","unstructured":"Basin, D., Caronni, G., Ereth, S., Harvan, M., Klaedtke, F., Mantel, H.: Scalable offline monitoring. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 31\u201347. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_4"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1151414.1151416","volume":"9","author":"G Bella","year":"2006","unstructured":"Bella, G., Paulson, L.C.: Accountability protocols: formalized and verified. ACM Trans. Inf. Syst. Secur. (TISSEC) 9(2), 138\u2013161 (2006)","journal-title":"ACM Trans. Inf. Syst. Secur. (TISSEC)"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Bruni, A., Giustolisi, R., Sch\u00fcrmann, C.: Automated analysis of accountability. In: Nguyen, P.Q., Zhou, J. (eds.) ISC 2017. vol. 10599, pp. 417\u2013434. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69659-1_23","DOI":"10.1007\/978-3-319-69659-1_23"},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s12394-010-0053-z","volume":"3","author":"A Cavoukian","year":"2010","unstructured":"Cavoukian, A., Taylor, S., Abrams, M.E.: Privacy by design: essential for organizational accountability and strong business practices. Identity Inf. Soc. 3(2), 405\u2013413 (2010)","journal-title":"Identity Inf. Soc."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cederquist, J., Conn, R., Dekker, M., Etalle, S., Den Hartog, J.: An audit logic for accountability. In: Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), pp. 34\u201343. IEEE (2005)","DOI":"10.1109\/POLICY.2005.5"},{"key":"16_CR7","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/0-387-24098-5_14","volume-title":"Formal Aspects in Security and Trust","author":"R Corin","year":"2005","unstructured":"Corin, R., Etalle, S., den Hartog, J., Lenzini, G., Staicu, I.: A logic for auditing accountability in decentralized systems. In: Dimitrakos, T., Martinelli, F. (eds.) Formal Aspects in Security and Trust. IIFIP, vol. 173, pp. 187\u2013201. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/0-387-24098-5_14"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s10009-021-00609-z","volume":"23","author":"Y Falcone","year":"2021","unstructured":"Falcone, Y., Krsti\u0107, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transfer 23(2), 255\u2013284 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00609-z","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Feigenbaum, J., Jaggard, A.D., Wright, R.N.: Towards a formal model of accountability. In: Proceedings of the 2011 New security paradigms workshop, pp. 45\u201356 (2011)","DOI":"10.1145\/2073276.2073282"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Graf, M., K\u00fcsters, R., Rausch, D.: Accountability in a permissioned blockchain: Formal analysis of hyperledger fabric. In: EuroS&P, IEEE (2020)","DOI":"10.1109\/EuroSP48549.2020.00023"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1017\/S096012951500016X","volume":"27","author":"M Kanovich","year":"2017","unstructured":"Kanovich, M., Kirigin, T.B., Nigam, V., Scedrov, A., Talcott, C., Perovic, R.: A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27(3), 332\u2013375 (2017)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"K\u00fcnnemann, R., Garg, D., Backes, M.: Accountability in the decentralised-adversary setting. In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), pp. 95\u2013110. IEEE Computer Society (2021)","DOI":"10.1109\/CSF51468.2021.00007"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Accountability: definition and relationship to verifiability. In: Proceedings of the 17th ACM conference on Computer and Communications Security, pp. 526\u2013535 (2010)","DOI":"10.1145\/1866307.1866366"},{"issue":"11","key":"16_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1592761.1592773","volume":"52","author":"B Lampson","year":"2009","unstructured":"Lampson, B.: Privacy and security usable security: how to get it. Commun. ACM 52(11), 25\u201327 (2009)","journal-title":"Commun. ACM"},{"key":"16_CR15","unstructured":"Popp, W.: Workflow-aware access control and accountability in IoT workflows, master Thesis, Uni Passau (2020)"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-021-00607-1","volume":"23","author":"J Schneider","year":"2021","unstructured":"Schneider, J., Basin, D., Brix, F., Krsti\u0107, S., Traytel, D.: Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transfer 23(2), 185\u2013208 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00607-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"6","key":"16_CR17","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1349026.1349043","volume":"51","author":"DJ Weitzner","year":"2008","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Commun. ACM 51(6), 82\u201387 (2008)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Protocols, Strands, and Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91631-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T16:08:35Z","timestamp":1726157315000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91631-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030916305","9783030916312"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91631-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}