{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T17:06:30Z","timestamp":1790010390981,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662438121","type":"print"},{"value":"9783662438138","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43813-8_17","type":"book-chapter","created":{"date-parts":[[2014,6,23]],"date-time":"2014-06-23T12:45:13Z","timestamp":1403527513000},"page":"229-236","source":"Crossref","is-referenced-by-count":4,"title":["Abstract Accountability Language"],"prefix":"10.1007","author":[{"given":"Walid","family":"Benghabrit","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Herv\u00e9","family":"Grall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Claude","family":"Royer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Sellami","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karin","family":"Bernsmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anderson Santana","family":"De Oliveira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"6","key":"17_CR1","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1349026.1349043","volume":"51","author":"D.J. Weitzner","year":"2008","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Commun. ACM\u00a051(6), 82\u201387 (2008)","journal-title":"Commun. ACM"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"DeYoung, H., Garg, D., Jia, L., Kaynar, D., Datta, A.: Experiences in the logical specification of the HIPAA and GLBA privacy laws. In: WPES 2010, pp. 73\u201382 (2010)","DOI":"10.21236\/ADA571991"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-01465-9_11","volume-title":"Formal Aspects in Security and Trust","author":"D. M\u00e9tayer Le","year":"2009","unstructured":"Le M\u00e9tayer, D.: A formal privacy management framework. In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol.\u00a05491, pp. 162\u2013176. Springer, Heidelberg (2009)"},{"issue":"3","key":"17_CR4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/WIA-2011-0215","volume":"9","author":"G. Piolle","year":"2011","unstructured":"Piolle, G., Demazeau, Y.: Representing privacy regulations with deontico-temporal operators. Web Intelligence and Agent Systems\u00a09(3), 209\u2013226 (2011)","journal-title":"Web Intelligence and Agent Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Etalle, S., Winsborough, W.H.: A posteriori compliance control. In: Lotz, V., Thuraisingham, B.M. (eds.) SACMAT 2007, pp. 11\u201320. ACM (2007)","DOI":"10.1145\/1266840.1266843"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-04444-1_10","volume-title":"Computer Security \u2013 ESORICS 2009","author":"R. Jagadeesan","year":"2009","unstructured":"Jagadeesan, R., Jeffrey, A., Pitcher, C., Riely, J.: Towards a theory of accountability and audit. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 152\u2013167. Springer, Heidelberg (2009)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Feigenbaum, J., Jaggard, A.D., Wright, R.N.: Towards a formal model of accountability. In: NSPW, pp. 45\u201356. ACM (2011)","DOI":"10.1145\/2073276.2073282"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Zou, J., Wang, Y., Lin, K.-J.: A formal service contract model for accountable saas and cloud services. In: SCC 2010, pp. 73\u201380 (2010)","DOI":"10.1109\/SCC.2010.85"},{"key":"17_CR9","unstructured":"Benghabrit, W., Grall, H., Royer, J.-C., Sellami, M., \u00d6nen, M., Oliveira, A.S.D., Bernsmed, K.: A cloud accountability obligations representation framework. In: CLOSER (2014)"},{"key":"17_CR10","unstructured":"Feigenbaum, J., Jaggard, A.D., Wright, R.N., Xiao, H.: Systematizing \u201daccountability\u201d in computer science. Technical Report TR-1452, University of Yale (2012)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Vaughan, J.A., Jia, L., Mazurak, K., Zdancewic, S.: Evidence-based audit. In: IEEE 25th Computer Security Foundations Symposium, pp. 177\u2013191 (2008)","DOI":"10.1109\/CSF.2008.24"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S1574-6526(07)03012-X","volume-title":"Handbook of Knowledge Representation","author":"M. Fisher","year":"2008","unstructured":"Fisher, M.: Temporal representation and reasoning. In: Handbook of Knowledge Representation, pp. 513\u2013550. Elsevier, Amsterdam (2008)"},{"issue":"1-3","key":"17_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I.M. Hodkinson","year":"2000","unstructured":"Hodkinson, I.M., Wolter, F., Zakharyaschev, M.: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic\u00a0106(1-3), 85\u2013134 (2000)","journal-title":"Ann. Pure Appl. Logic"},{"key":"17_CR14","unstructured":"Bernsmed, K., Felici, M., Oliveira, A.S.D., Sendor, J., Moe, N.B., R\u00fcbsamen, T., Tountopoulos, V., Hasnain, B.: Use case descriptions. Deliverable, A4Cloud (2013)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Benghabrit, W., Grall, H., Royer, J.-C., Sellami, M.: Accountability for Abstract Component Design. In: EUROMICRO DSD\/SEAA 2014, Verona, Italy (August 2014)","DOI":"10.1109\/SEAA.2014.68"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43813-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,21]],"date-time":"2020-08-21T07:48:00Z","timestamp":1597996080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43813-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662438121","9783662438138"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43813-8_17","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}